Proofgold Term Root Disambiguation

∀ x0 : ο . (x0 ⟶ False) ⟶ not x0

as obj
-

as prop
8106d..^notI

theory
HF

stx
bec4a..

address
TMSkq..^notI