($x and $y) or ($z and $r) or $p