variables x , y , w , h R
constraint i a i v i + c 0 ⋈ is one of = ≤ ≥