#include <bits/stdc++.h>

using namespace std;

int main() {

    string expression; 

    map<char, int> table = {  make_pair('a',  0)
                            , make_pair('b',  1)
                            , make_pair('c',  2)
                            , make_pair('d',  3)
                            , make_pair('e',  4)
                            , make_pair('f',  5)
                            , make_pair('g',  6)
                            , make_pair('h',  7)
                            , make_pair('i',  8)
                            , make_pair('j',  9)
                            , make_pair('k', 10)
                            , make_pair('l', 11)
                            , make_pair('n', 12)
                            , make_pair('m', 13)
                            , make_pair('o', 14)
                            , make_pair('p', 15)
                            , make_pair('q', 16)
                            , make_pair('r', 17)
                            , make_pair('s', 18)
                            , make_pair('t', 19)
                            , make_pair('u', 20)
                            , make_pair('v', 21)
                            , make_pair('w', 22)
                            , make_pair('x', 23)
                            , make_pair('y', 24)
                            , make_pair('z', 25)
                            , make_pair('A',  0 + 32)
                            , make_pair('B',  1 + 32)
                            , make_pair('C',  2 + 32)
                            , make_pair('D',  3 + 32)
                            , make_pair('E',  4 + 32)
                            , make_pair('F',  5 + 32)
                            , make_pair('G',  6 + 32)
                            , make_pair('H',  7 + 32)
                            , make_pair('I',  8 + 32)
                            , make_pair('J',  9 + 32)
                            , make_pair('K', 10 + 32)
                            , make_pair('L', 11 + 32)
                            , make_pair('N', 12 + 32)
                            , make_pair('M', 13 + 32)
                            , make_pair('O', 14 + 32)
                            , make_pair('P', 15 + 32)
                            , make_pair('Q', 16 + 32)
                            , make_pair('R', 17 + 32)
                            , make_pair('S', 18 + 32)
                            , make_pair('T', 19 + 32)
                            , make_pair('U', 20 + 32)
                            , make_pair('V', 21 + 32)
                            , make_pair('W', 22 + 32)
                            , make_pair('X', 23 + 32)
                            , make_pair('Y', 24 + 32)
                            , make_pair('Z', 25 + 32) };
    int big, small;
    int nbig, nsmall;
    bool flag;

    while (1) {
        cin >> expression;
        if (expression == "#")
            break;

        flag = false;
        for (int i = 0; i < expression.size(); i++) {
            if (expression[i] == '(') {
                big = small = 0;
                nbig = nsmall = 0;
                for (int j = i + 1, n = 0; n < 3; n++) {
                    if (expression[j] == '~') {
                        j++;
                        char c = expression[j];
                        if (table[c] < 32)
                            nsmall |= 1 << table[c];
                        else
                            nbig |= 1 << (table[c] - 32);
                    }
                    else {
                        char c = expression[j];
                        if (table[c] < 32)
                            small |= 1 << table[c];
                        else
                            big |= 1 << (table[c] - 32);
                    }
                    j = j+2;
                }
                if ((small & nsmall) || (big & nbig)) continue;
                else {
                    flag = true;
                    break;
                }
            }
        }
        if (flag)
            cout << "yes" << endl;
        else
            cout << "no" << endl;
    }

    return 0;
}




Measured memory_bytes: 3168