Proofgold Term Root Disambiguation

0 = Power 0 ⟶ False

as obj
-

as prop
025eb..

theory
HF

stx
2dedf..

address
TMcAq..