Text this: The disjunction introduction rule: Syntactic and semantics considerations