Proofgold Term Root Disambiguation

236c6.. = 32d20.. ⟶ ∀ x0 : ο . x0

as obj
-

as prop
b916f..

theory
HOAS

stx
64e99..

address
TMGt9..