Proofgold Term Root Disambiguation

∀ x0 . equip (setexp 1 x0) 1

as obj
-

as prop
f186e..

theory
HF

stx
d6132..

address
TMZ67..