//27
#include<iostream>

using namespace std;

char s[501];
int i;

bool cls(){
  int ap[128]={};
  bool r=true;
  for(int j=0;j<3;j++){
    int f=1;
    if(s[i]=='~'){
      f=-1;
      i++;
    }
    r&=ap[s[i]]*-1!=f;
    ap[s[i]]=f;
    i+=2;
  }
  i--;
  return r;
}

bool exp(){
  if(s[i]=='\0'){
    return false;
  }else{
    i++;
    if(cls()){
      return true;
    }else{
      i++;
      if(s[i]=='|'){
	i++;
	return exp();
      }else{
	return false;
      }
    }
  }
}

int main(){
  while(cin>>s,s[0]!='#'){
    i=0;
    cout<<(exp()?"yes":"no")<<endl;
  }
  return 0;
}
  
  