Relational Sentences
(<relation constant> <term>* [<sequence variable>])
E.g, (Parent Richard Earl) (Clear A) (Set-Partition Set1 @Sets)
- TIV((rel term1 … termn)) =
- true when I(rel)[SIV(term1), …, SIV (termn)] is true
- false otherwise
- TIV((rel term1 … termn @var)) =
- true when I(rel)[SIV (term1), …, SIV (termn) | SIV (@var)] is true
- false otherwise
(<function constant> <term>* <term>)
E.g, (Father Richard Earl) (Plus 2 5 7)
- TIV((fun arg1 … argn val)) =
- true when I(fun)[SIV(arg1), …, SIV (argn)] = SIV(val)
- false otherwise