Two predicates can share the same function from objects to truth-values yet differ in semantic conte...