Proofgold Term Root Disambiguation

add_SNo 4 4 = 8

as obj
-

as prop
ab072..^add_SNo_4_4

theory
HotG

stx
6036f..

address
TMdbe..^add_SNo_4_4