choose

abstract fun choose(members: List<Proposition>): Proposition