Proofgold Term Root Disambiguation

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

as obj
-

as prop
a6792..^Inj1NE2

theory
HF

stx
a6670..

address
TMH2Z..^Inj1NE2