Proofgold Term Root Disambiguation

∀ x0 . ordinal (9d271.. x0)

as obj
-

as prop
6092a..

theory
HotG

stx
f4683..

address
TMbtd..