Proofgold Term Root Disambiguation

prim4 0 = Sing 0

as obj
-

as prop
a39fd..^{Power_0_Sing_0}

theory
HotG

stx
18c18..

address
TMFtr..^{Power_0_Sing_0}