Rev "Ignore sentences where text exists in symbol"

reported for hets, see http://trac.informatik.uni-bremen.de:8080/hets/ticket/1101

This reverts commit 38ff4b3e26780dc16fa0ef9e0fe99bb8238619dc.