Proofgold Term Root Disambiguation

explicit_Reals real 0 1 add_SNo mul_SNo SNoLe

as obj
-

as prop
abc75..

theory
HotG

stx
b9249..

address
TMH7r..