Proofgold Term Root Disambiguation

∀ x0 x1 x2 . 762f0.. x0 x1 x2 ⟶ and (and (e05e6.. x0) (74e69.. x1)) (74e69.. x2)

as obj
-

as prop
beff0..

theory
HOAS

stx
f0886..

address
TMPUX..