Proofgold Term Root Disambiguation

∀ x0 x1 x2 x3 . equip x0 x3 ⟶ equip x1 (ordsucc x3) ⟶ equip_mod x0 x1 x2

as obj
-

as prop
a84bb..

theory
HF

stx
d6132..

address
TMUF5..