Proofgold Term Root Disambiguation

∀ x0 . nIn (Inj1 x0) (Sing 0)

as obj
-

as prop
3c4dd..^Inj1NE2

theory
HotG

stx
114a5..

address
TMaoF..^Inj1NE2