Proofgold Term Root Disambiguation

∀ x0 x1 . 74e69.. (a3eb9.. x0 x1) ⟶ and (74e69.. x0) (74e69.. x1)

as obj
-

as prop
75262..

theory
HOAS

stx
cbccf..

address
TMNwb..