Logical Terms
(if <sentence> <term> [<term>])
E.g, (if (Above A B) A B)
- SIV((if sent term)) =
- SIV(term) when TIV(sent) = true
- ^ otherwise
- SIV((if sent term1 term2)) =
- SIV(term1) when TIV(sent) = true
- SIV(term2) otherwise
(cond (<sentence> <term>) … (<sentence> <term>))
E.g., (cond ((Above A B) A) ((Above B A) B))
- SIV((cond (sent1 term1) … (sentn termn))) =
- SIV(term1) when TIV(sent1) = true
...
- SIV(termn) when TIV(sentn) = true
- ^ otherwise