#include<iostream>
#include<map>
#include<cstring>
#include<string>
using namespace std;
int m,n,p,wrong,ans;
int tf[105];
string s[105],say[105],names[105];
map<string,int> name;
string day[10]={"","Today is Monday.","Today is Tuesday.","Today is Wednesday.","Today is Thursday.","Today is Friday.","Today is Saturday.","Today is Sunday."};
inline void settf(int who,int flag){
	if(tf[who]!=-1&&tf[who]!=flag)wrong=1;
	else tf[who]=flag;
}
int main(){
	cin>>m>>n>>p;
	memset(tf,-1,sizeof(tf));
	for(int i=1;i<=m;i++){
		cin>>names[i];
		name[names[i]]=i;
	}
	for(int i=1;i<=p;i++){
		cin>>say[i];
		say[i].erase(say[i].end()-1);
		getline(cin,s[i]);
		s[i].erase(s[i].begin());
		s[i].erase(s[i].end()-1);
	}
	for(int today=1;today<=7;today++){
		for(int i=1;i<=m;i++){
			wrong=0;
			memset(tf,-1,sizeof(tf));
			for(int j=1;j<=p;j++){
				int who=name[say[j]];
				if(s[j]=="I am guilty."){
					//cout<<(i==who)<<"\n";
					settf(who,i==who);
				}
				if(s[j]=="I am not guilty."){
					settf(who,i!=who);
				}
				int p=s[j].find(" is guilty.");
				if(p!=-1){
					//cout<<1;
					string tname=s[j];
					tname.erase(p,11);
					//cout<<(name[tname])<<" "<<i<<"\n";
					settf(who,name[tname]==i);
						
				}
				p=s[j].find(" is not guilty.");
				if(p!=-1){
					string tname=s[j];
					tname.erase(p,11);
					
					settf(who,name[tname]!=i);
						
				}
			
				for(int k=1;k<=7;k++){
					if(s[j]==day[k]){
						settf(who,k==today);
					}
				}
				
				
			}
			int fake=0,unknow=0;
			for(int i=1;i<=m;i++){
				if(tf[i]==0)fake++;
				if(tf[i]==-1)unknow++;
			}
			//cout<<fake<<" "<<unknow<<"\n";
			if(!wrong&&fake<=n&&fake+unknow>=n){
				if(ans&&ans!=i){
					cout<<"Cannot Determine";
					return 0;
				}else{
					ans=i;
				}
			}
		}
	}
	if(!ans)cout<<"Impossible"; 
	else cout<<names[ans];
	return 0;
}

帮调的全部关注