Execution by predicate-object list, including variable subject.
Tidy