Proofgold Term Root Disambiguation

Power 0 = Sing 0

as obj
-

as prop
1b18d..^{Power_0_Sing_0}

theory
HF

stx
dda19..

address
TMKGs..^{Power_0_Sing_0}