Proofgold Term Root Disambiguation

∀ x0 x1 . equip x0 x1 ⟶ atleastp x0 x1

as obj
-

as prop
9a412..^{equip_atleastp}

theory
HotG

stx
ea22c..

address
TMSBo..^{equip_atleastp}