Proofgold Term Root Disambiguation

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

as obj
-

as prop
826e0..

theory
HOAS

stx
cbccf..

address
TMP3E..