find All
Get all propositions. Used by findAbstractionsOf; satisfied automatically when a type also implements PropositionStore.
Get all propositions. Used by findAbstractionsOf; satisfied automatically when a type also implements PropositionStore.