The ability to handle sorted clauses is new and undocumented.
See jobs.in for an example.   Sorted clauses cannot be input in
Otter form.
