#include<iostream>
#include<set>
#include<vector>
#include<algorithm>
#include<set>

using namespace std;

typedef pair<int,char> P;

int main()
{
	string s;
	while(cin>>s,s!="#"){
	
		//notテ」ツ?佚」ツつε」ツ?ェテ」ツ??」ツ?ョテ」ツつ津・ツ?・テ」ツつ古」ツつ?notテ」ツ?ョテ」ツつ津・ツ?・テ」ツつ古」ツつ?
		set<char> sc1,sc2;
		bool ok=true;
		for(int i=0;i<s.size();i++){
			if(s[i]=='('){ok=true; sc1.clear(); sc2.clear();}
			if(s[i]==')' && ok) break;
			if('a'<=s[i] && s[i]<='z' || 'A'<=s[i] && s[i]<='Z'){
				if(s[i-1]=='~'){
				 if(sc1.find(s[i])!=sc1.end()) ok=false;
				 else sc2.insert(s[i]);
				}else{
					if(sc2.find(s[i])!=sc2.end()) ok=false;
					else sc1.insert(s[i]);
				}

			}
			
		}
	
		if(ok) cout<<"yes"<<endl;
		else cout<<"no"<<endl;
	
	}
	
	return 0;
}