If event types are primitive universals, the inference from propositional structure to event-type st...