bug fixing: parsing negated atoms