abstract

abstract fun abstract(group: PropositionGroup, targetCount: Int = 3): List<Proposition>

Generate higher-level propositions from a labeled group.

Return

Abstracted propositions with level 0 and sourceIds populated

Parameters

group

Labeled group of propositions to abstract

targetCount

Desired number of abstract propositions to generate


open fun abstract(propositions: List<Proposition>, targetCount: Int = 3): List<Proposition>

Generate higher-level propositions from a list. Convenience method that wraps propositions in an unlabeled group.

Return

Abstracted propositions with level 0 and sourceIds populated

Parameters

propositions

Source propositions to abstract

targetCount

Desired number of abstract propositions to generate