Hello, I have a question on submodular (negativity) constraints

Looking for instance this test example test_one_slack_ssvm.py#L150, why is enforcing
w[5]<0
sufficient to enforce submodularity? Shouldn't we also have
w[4]>0
w[6]>0
to guarantee that w[4] + w[6] > w[5] ?

Thanks!