Proofgold Term Root Disambiguation

λ x0 : ι → ι → ο . and (14a9a.. x0) (x0 5da20.. e9f3d..)

as obj
15a56..

as prop
-

theory
HOAS

stx
09504..

address
TMXj6..