[det]latex_for_predicates(+PI:list,
+Out, +Options)\begin{description}...\end{description}
environment, just a plain list of \predicate, etc.
statements. The current implementation ignores Options.
[det]latex_for_predicates(+PI:list,
+Out, +Options)\begin{description}...\end{description}
environment, just a plain list of \predicate, etc.
statements. The current implementation ignores Options.