@a = a b c @b = b c d @a AND @b = bc @a OR @b = abcd