Proofgold Term Root Disambiguation

binunion omega (prim5 omega minus_SNo)

as obj
33166..^int

as prop
-

theory
HotG

stx
7d348..

address
TMXnk..^int