findAbstractionsOf

open fun findAbstractionsOf(propositionId: String): List<Proposition>

Find propositions that were abstracted from the given proposition. Searches for propositions that cite the given ID in their Proposition.sourceIds.

Return

Propositions that list this ID as a source

Parameters

propositionId

The ID of the source proposition