propositions

open override val propositions: List<Proposition>

All propositions extracted (before any revision).