findSources

open fun findSources(proposition: Proposition): List<Proposition>

Find the source propositions that a given proposition was abstracted from. Resolves the proposition's Proposition.sourceIds to actual propositions.

Return

Source propositions (partial list if some IDs are missing)

Parameters

proposition

The abstraction whose sources to find