compound_proposition