Proofgold Term Root Disambiguation

∀ x0 : ο . not x0 ⟶ x0 ⟶ False

as obj
-

as prop
36a56..^notE

theory
HF

stx
6735c..

address
TMFCy..^notE