Proofgold Term Root Disambiguation

λ x0 . ∃ x1 . and (80242.. x1) (∃ x3 . and (80242.. x3) (x0 = 236dc.. x1 x3))

as obj
1013b..

as prop
-

theory
HoTg

stx
9e11d..

address
TMJGK..