#include <string>
#include <iostream>
#include <algorithm>
#include <vector>
#include <set>
#include <fstream>
#include <ctype.h>
using namespace std;
bool isT(string s)
{
	for(int i=0;i<s.length();i++)
		if(isupper(s[i]))return false;
	return true;
}
bool content(set<char> s,char c)
{
	set<char>::const_iterator it;
	it=s.find(c);
	if(it==s.end())return false;
	else return true;
}
void main()
{
	set<char> newv,oldv;
	set<char>::const_iterator it1;
	int n;
	ofstream fout("output.txt");
	if(!fout)return;
	ifstream fin("input.txt");
	if(!fin)return;
	fin>>n;
	if(n<=0)return;
	vector<char> V;
	vector<string> T;
	int i,j;
	char c;
	string temp;
	//讀入數據 V:非終結符 T:產生式
	for(i=1;i<=n;i++)
	{
		fin>>c;
		V.push_back(c);
		fin>>temp;
		T.push_back(temp);
	}
	//找出所有的終結符
	/*for(i=0;i<n;i++)
	{
		for(j=0;j<T[i].length();j++)
			if(islower(T[i][j]))sT.insert(T[i][j]);
	}*/
	//初始化newv
	for(i=0;i<V.size();i++)
	{
		if(isT(T[i]))
		{
			newv.insert(newv.end(),V[i]);
			V.erase(&V[i]);
			T.erase(&T[i]);
		}
	}
	//找出可終結的非終結符
	while(newv!=oldv)
	{
		oldv=newv;
		for(i=0;i<V.size();i++)
		{
			for(j=0;j<T[i].length();j++)
			{
				if(isupper(T[i][j])&&!content(oldv,T[i][j]))
					break;
			}
			if(j==T[i].length())
			{
				if(V[i]=='S')
				{
					fout<<"no"<<endl;
					cout<<"no"<<endl;
					return;
				}
				newv.insert(V[i]);
				V.erase(&V[i]);
				T.erase(&T[i]);
			}
		}
	}
	it1=newv.find('S');
	if(it1==newv.end()){fout<<"yes"<<endl;}
	else {fout<<"no"<<endl;}
}