find
Propositions that were abstracted from the given proposition, if the store backs graph traversal, otherwise an empty list.
Propositions that were abstracted from the given proposition, if the store backs graph traversal, otherwise an empty list.