Proofgold Term Root Disambiguation

add_SNo 2 2 = 4

as obj
-

as prop
3bd3d..

theory
HotG

stx
cd4cc..

address
TMaCK..