Proofgold Term Root Disambiguation

∀ x0 x1 . or (In x0 (V_ x1)) (Subq (V_ x1) (V_ x0))

as obj
-

as prop
a0b35..^V_In_or_Subq

theory
HF

stx
5e00d..

address
TMJW8..^V_In_or_Subq