#8 need better default NL paraphrase for predicate variable

[Adam Pease]

Variables in the predicate position have a type statement generated for them in the NL paraphrase output, just as for all other variables. But it would be better to say something like instead of "the binary relation the entity the entity" have "a binary relation holds between the entity and the entity"

(=>
(reflexiveOn ?RELATION ?CLASS)
(forall (?INST)
(=>
(instance ?INST ?CLASS)
(?RELATION ?INST ?INST)))) Merge.kif 2761-2766

* if a binary relation is reflexive on a set or class,
* then for all an entity
o if the entity is an instance of the set or class,
o then the binary relation the entity the entity