Proofgold Term Root Disambiguation

not (∃ x0 . x0 ∈ 0)

as obj
-

as prop
c7b0d..^EmptyAx

theory
HotG

stx
cde1e..

address
TMQML..^EmptyAx