Proofgold Term Root Disambiguation

Power 99f52..

as obj
6a551..

as prop
-

theory
HF

stx
5e336..

address
TMYtc..