size

val size: Int

Number of propositions in this group