conjunctive_proposition