Added filter for strongly-negated atoms and an option to unfilter them.