Proofgold Term Root Disambiguation

ordinal 1

as obj
-

as prop
c2b57..^ordinal_1

theory
HF

stx
82de5..

address
TMaeb..^ordinal_1