Proofgold Term Root Disambiguation

∃ x0 . and (707bb.. 8ac9a.. x0) (∀ x2 . d701e.. (de327.. 8ac9a.. x2) (57d6a.. x0 x2) (57d6a.. x2 (57d6a.. x0 x2)))

as obj
-

as prop
1dd60..

theory
HOAS

stx
82925..

address
TMJ4e..