1 #include<iostream>
  2 #include<cstdlib>
  3 #include<cstdio>
  4 #include<cstring>
  5 #include<vector>
  6 #include<map>
  7 using namespace std;
  8
  9 const int maxn = 100+10;
 10 const string days[]={"Monday","Tuesday","Wednesday","Thursday","Friday","Saturday","Sunday"};
 11
 12 struct Node{
 13     string person,zhu,xi,fou,biao;
 14 };
 15 vector<Node> nodes;
 16
 17 string names[maxn],Sent[maxn];
 18 map<string,int> vis1,vis2,ID;
 19 int n,m,p,P,D;
 20 string S[maxn];
 21 int liers,unliers;
 22 int f_day;
 23
 24 void  make_nodes() {
 25     for(int i=0;i<p;i++) {
 26         string s=S[i];
 27         string person="",zhu="",xi="",fou="",biao="";
 28         int j=0;
 29         while(s[j] != ':' && s[j]) {
 30             person+=s[j]; j++;
 31         }
 32         j+=2;
 33         while(s[j]!=' ' && s[j]) {
 34             zhu+=s[j]; j++;
 35         }
 36         if(!ID.count(zhu)) { continue; }  //else
 37         j++;
 38         while(s[j]!=' ' && s[j]) {
 39             xi+=s[j]; j++;
 40         }
 41         if(xi!="am" && xi!="is") { continue; }  //else
 42         j++;
 43         while(s[j]!=' '&& s[j]!='.' && s[j]) {
 44             fou+=s[j]; j++;
 45         }
 46         if(fou!="not") { biao=fou; fou="";  }
 47         else {
 48             j++;
 49             while(s[j]!='.' && s[j]) {
 50                biao+=s[j]; j++;
 51             }
 52         }
 53         int f=false;
 54         for(int i=0;i<7;i++) if(days[i]==biao) {f=true; f_day=1; break;}
 55         if(biao=="guilty") f=true;
 56         if(!f) continue;             //else
 57
 58         if(j<s.size()-1 || s[j]!='.' ||(zhu==""||xi==""||biao=="")) {continue; }  //其他的话
 59         nodes.push_back((Node){person,zhu,xi,fou,biao});
 60     }
 61 }
 62
 63 inline bool vis1_push(string per) {
 64     if(!vis1.count(per)) {
 65         vis1[per]=1; liers++;
 66     }
 67     return true;
 68 }
 69 inline bool vis2_push(string per) {
 70     if(!vis2.count(per)) {
 71         vis2[per]=1; unliers++;
 72     }
 73 }
 74 bool solve() {
 75     liers=unliers=0;
 76     vis1.clear();  vis2.clear();
 77
 78     int nc=nodes.size();
 79     for(int i=0;i<nc;i++) {
 80         string guilty=names[P],day=days[D];
 81         string person=nodes[i].person,zhu=nodes[i].zhu,xi=nodes[i].xi,fou=nodes[i].fou,biao=nodes[i].biao;
 82         if(zhu=="Today" && xi=="is") {
 83             if(biao!=day){ vis1_push(person);} else { vis2_push(person);  }
 84             if(vis1.count(person) && vis2.count(person)) return false;
 85         }
 86         else
 87         if(biao=="guilty") {
 88             if(zhu=="I" && xi=="am") {
 89                 if((fou=="not" && guilty==person) || (fou=="" && guilty!=person)) { vis1_push(person); }
 90                 else { vis2_push(person);  }
 91                 if(vis1.count(person) && vis2.count(person)) return false;
 92             }
 93             else if(xi=="is") {
 94                   if((fou=="not" && guilty==zhu) || (fou=="" && guilty!=zhu))  { vis1_push(person);  }
 95                   else{ vis2_push(person);  }
 96                   if(vis1.count(person) && vis2.count(person)) return false;
 97             }
 98         }
 99     }
100     return (liers<=n && unliers<=m-n);
101 }
102
103 int main() {
104     ios::sync_with_stdio(false);
105
106     cin>>m>>n>>p;
107     for(int i=0;i<m;i++) cin>>names[i] , ID[names[i]]=i;
108     ID["Today"]=ID["I"]=1;
109     string ss ; getline(cin,ss);       //读空行
110     for(int i=0;i<p;i++)  getline(cin,S[i]);
111
112     make_nodes();    //建立nodes 剔除冗杂信息 分清主系表
113
114     int sum=0,ans;
115     for( P=0 ; P<m ; P++)   //枚举罪犯
116     {
117           int sum2=0;
118           for( D=0; D<7; D++)   //枚举日期
119            {
120                  if(solve()) { sum2=1; ans=P;}
121            }
122            sum += sum2;    //注意日期可以多种
123            if(sum>=2) { cout<<"Cannot Determine";return 0; }
124     }
125     if(sum==0) cout<<"Impossible";
126     else cout<<names[ans];
127     return 0;
128 }