Proofgold Term Root Disambiguation

prim4 (Sing 0) = UPair 0 (Sing 0)

as obj
-

as prop
173fc..^Power_Sing_0

theory
HotG

stx
18c18..

address
TMVoM..^Power_Sing_0