Definition:Semantics of Conditional