Proofgold Term Root Disambiguation

Power 33cc2..

as obj
99f52..

as prop
-

theory
HF

stx
5e336..

address
TMdiN..