Proofgold Term Root Disambiguation

∀ x0 . Subq x0 x0

as obj
-

as prop
6696a..^Subq_ref

theory
HF

stx
2dedf..

address
TMGBL..^Subq_ref