For example, the logical form term (NAME j1"John"), in a specific
context, might be represented by the constant John1 in the KB - the
variable j1 is resolved to the constant John1.
Restricted quantification makes sense in KRL, as in logical
form language.
Restrictions follow the quantified variable, with semicolon separator:
∃ x : Person(x) Happy(x) ..... There is a happy person
∀ x : Person(x) Happy(x) ..... All people are happy
The second of these is equivalent to
∀ x Person(x) ⇒ Happy(x).
