Proofgold Term Root Disambiguation

λ x0 . x0 = 236c6..

as obj
07017..

as prop
-

theory
HOAS

stx
8d75a..

address
TMGRX..