added negation with priority over or/and