find Sources
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