find
Source propositions a given proposition was abstracted from, if the store backs graph traversal, otherwise an empty list.
Source propositions a given proposition was abstracted from, if the store backs graph traversal, otherwise an empty list.