Statement (logic and semantics)