Proofgold Term Root Disambiguation

∀ x0 : ο . x0 ⟶ ∀ x1 . x0

as obj
-

as prop
dea20..

theory
SetMM

stx
35d97..

address
TMcDX..