Proofgold Term Root Disambiguation

∀ x0 . Subq 0 x0

as obj
-

as prop
b41a2..^Subq_Empty

theory
HF

stx
8a441..

address
TMZQE..^Subq_Empty