Predicate-object list matching
Notes