Proofgold Term Root Disambiguation

not (∀ x0 : ο . (∀ x1 . x1 ∈ 0 ⟶ x0) ⟶ x0)

as obj
-

as prop
c7b0d..^EmptyAx

theory
HotG

stx
cde1e..

address
TMQML..^EmptyAx