Proofgold Term Root Disambiguation

λ x0 . not (e93bf.. x0)

as obj
f9373..

as prop
-

theory
HotG

stx
3b6f0..

address
TMY2n..