Abstracting Propositions: How Many of Them Do We Need?