Proofgold Term Root Disambiguation

∀ x0 x1 x2 . In x1 x2 ⟶ Subq x0 (V_ x1) ⟶ In x0 (V_ x2)

as obj
-

as prop
b5461..^V_I

theory
HF

stx
5e00d..

address
TMFsR..^V_I