Proofgold Term Root Disambiguation

λ x0 . False

as obj
8ac9a..

as prop
-

theory
HOAS

stx
a68ac..

address
TMUdt..