Proofgold Term Root Disambiguation

∀ x0 . equip x0 u3 ⟶ equip {x1 ∈ prim4 x0|equip x1 u2} u3

as obj
-

as prop
da3b9..

theory
HotG

stx
8cab1..

address
TMGvb..