4)'. So if a query using the open sentence `(#$evaluate ?X (#$PlusFn (#$Inch 3) (#$Inch 1)))' is asked, the answer (or binding for the variable `?X') returned will be the term `(#$Inch 4)'. Evaluating a sentence built from (a constant that denotes) an #$EvaluatablePredicate, on the other hand, yields a _truth-value_. For example, the sentence `(#$greaterThan (#$Inch 3) (#$Inch 1))' evaluates to (and so if used to ask a query will return the answer) `#$True'. The predicate #$evaluationDefn (q.v.) is used to 