Proofgold Term Root Disambiguation

or = λ x1 x2 : ο . not (and (not x1) (not x2))

as obj
-

as prop
cdfc7..

theory
HoTg

stx
7f654..

address
TMaWR..^eq_or_nand