semantics of conjunction