Relational Implication Relational Entailment Questions Fred is a frob. Gary is a greck.
Hank is a hargle.
Frobs are snazzier than grecks. Relational Equivalence Two sentences are relationally equivalent if and only if they relationally imply each other. S tautologically entails a sentence s if and only if every interpretation that satisfies S also satisfies s. There are infinitely many interpretations, in general. Loop over Herbrand interpretations.