Proofgold Term Root Disambiguation

ordinal 0

as obj
-

as prop
f9053..^{ordinal_Empty}

theory
HF

stx
82de5..

address
TMSmq..^{ordinal_Empty}