New predicate-object solver