Proofgold Term Root Disambiguation

50208.. 8dd2c.. c6963..

as obj
a9894..

as prop
-

theory
HotG

stx
3797b..

address
TMGqi..