if ($x && index($s, "abc") >= 0 || index($s, "def") >= 0)