Proofgold Term Root Disambiguation

c4def.. = c9248.. ⟶ ∀ x0 : ο . x0

as obj
-

as prop
5e60e..

theory
HOAS

stx
cbccf..

address
TMW91..