Proofgold Term Root Disambiguation

236c6.. = 6915e.. ⟶ ∀ x0 : ο . x0

as obj
-

as prop
61590..

theory
HOAS

stx
64e99..

address
TMPVq..