The literals are implicitly conjoined and thus ordering does not matter.
we chose to impose an ordering on patterns, whereby the main verb appears first, followed by predicates referring to its arguments.