alic;">free prologic</span> generalized
inverse <span style="font-family: arial;">&#965;</span>, which is a fibered
product of the free model generalized
inverse with an identity generalized inverse on special theories.<br>
<br>
In addition, two special subsets are highlighted: there is a subset of
the universe of discourse called the normal entities and a subset of
the tuple space called the normal tuples, where the components of
normal tuples are normal entities and normal entities and normal tuples
satis