Proofgold Term Root Disambiguation

∀ x0 x1 x2 x3 . In 0 x3 ⟶ Subq x2 x3 ⟶ Subq x0 x1 ⟶ Subq (setexp x2 x0) (setexp x3 x1)

as obj
-

as prop
ad21b..^setexp_0_mon

theory
HF

stx
89549..

address
TMY5x..^setexp_0_mon