Proofgold Term Root Disambiguation

∀ x0 . c2f57.. (4326e.. x0)

as obj
-

as prop
c3a5b..

theory
HoTg

stx
c37db..

address
TMZNU..