Definition:Semantic Consequence (Predicate Logic)