Proofgold Term Root Disambiguation

∀ x0 . Subq x0 (V_ x0)

as obj
-

as prop
081f3..^V_Subq

theory
HF

stx
5e00d..

address
TMTy2..^V_Subq