Proofgold Term Root Disambiguation

not (ordinal (91630.. (4ae4a.. (4ae4a.. 4a7ef..))))

as obj
-

as prop
39b19..

theory
HoTg

stx
9e11d..

address
TMLNW..