\begin{definition}[Definition:Constructed Semantics]
Let $\LL$ be a formal language.
A '''constructed semantics''' for $\LL$ is a formal semantics which is invented ''solely'' for proving a property about $\LL$ or other entities related to $\LL$.
{{expand}}
\end{definition}