Proofgold Term Root Disambiguation

∀ x0 . equip (Sing x0) u1

as obj
-

as prop
5169f..^equip_Sing_1

theory
HotG

stx
2d143..

address
TMTRw..^equip_Sing_1