Proofgold Term Root Disambiguation

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

as obj
-

as prop
a6a13..

theory
HoTg

stx
336f4..

address
TMMfB..^notI