Represents a merge of multiple propositions into one.
The merged proposition
The original propositions that were merged