Composite propositions for the Engine