Proofgold Term Root Disambiguation

Power 0

as obj
d3f3c..

as prop
-

theory
HF

stx
5e336..

address
TMKAf..