Proofgold Term Root Disambiguation

6915e.. = 32d20.. ⟶ ∀ x0 : ο . x0

as obj
-

as prop
63d4e..

theory
HOAS

stx
64e99..

address
TMPCr..