Proofgold Term Root Disambiguation

SNoLt 1 4

as obj
-

as prop
c188a..

theory
HotG

stx
de20d..

address
TMXdj..