Proofgold Term Root Disambiguation

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

as obj
-

as prop
c2694..

theory
HoTg

stx
38a69..

address
TMRQj..