Proofgold Term Root Disambiguation

∀ x0 . c4def.. = 1fa6d.. x0 ⟶ ∀ x1 : ο . x1

as obj
-

as prop
b8b08..

theory
HOAS

stx
cbccf..

address
TMZQE..