implement DLAtomPredicate.comapreTo()