Proofgold Term Root Disambiguation

0 ∈ omega

as obj
-

as prop
e4648..

theory
HotG

stx
786b2..

address
TMN2a..