Proofgold Term Root Disambiguation

explicit_Field real 0 1 add_SNo mul_SNo

as obj
-

as prop
2383a..

theory
HotG

stx
b9249..

address
TMFwM..