termined to model my participation in this discourse
on the best established standards, I earnestly await your advice.

Thanks In Prospect --

I now return to the program already in progress ...

&gt; &gt; Following is the relevant excerpt, stated in KIF:
&gt; &gt;
&gt; &gt; 1.
&gt; &gt;
&gt; &gt; | (forall (?x ?y ?z)
&gt; &gt; |         (&lt;=&gt; (TitanicTrio ?x ?y ?z)
&gt; &gt; |              (exists (?e)
&gt; &gt; |                      (and (TitanicTrio ?e)
&gt; &gt; |                           (Member