Proofgold Term Root Disambiguation

∀ x0 . equip x0 3 ⟶ equip (Power x0) 8

as obj
-

as prop
02b3e..

theory
HF

stx
d6132..

address
TMUTB..