Proofgold Term Root Disambiguation

∀ x0 . prim4 (Sing x0) = UPair 0 (Sing x0)

as obj
-

as prop
e5fb8..^Power_Sing

theory
HotG

stx
18c18..

address
TMYYw..^Power_Sing