TDB predicate-object-list execution (careful version)