rd Nephew ?e ?z)
&gt; &gt; | )       )    )       )

I have almost forgotten what this was all about,
and Matthew and I have long since moved on to
more Nuts'n'Bolts types of issues -- you are,
of course, free to speculate on which of us
is which -- but I do remember the intention
to put these two examples in a better form:

&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 (