Table for the 2 triples with object "sat/1" sorted by label

SubjectPredicate
?:clpb.plcpack:exported predicate
?:knights_and_knaves.plcpack:requires predicate