in let $trans = select @uri from $trans1 where ex (not @uri./"extra" and
(@uri./"premises" sub {@uri./"rel", @uri./"set"})) in keep $trans
\end{verbatim} \end{footnotesize} %$
in let $trans = select @uri from $trans1 where ex (not @uri./"extra" and
(@uri./"premises" sub {@uri./"rel", @uri./"set"})) in keep $trans
\end{verbatim} \end{footnotesize} %$