Proofgold Term Root Disambiguation

binunion omega (prim5 omega minus_CSNo)

as obj
50d20..^int

as prop
-

theory
HotG

stx
a3ed2..

address
TMTGg..^int