abstract

open override fun abstract(group: PropositionGroup, targetCount: Int): 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