#include<cstdio>
#include<cstring>
#include<string>
#include<iostream>
using namespace std;
string s[1005];
int fake[1005];
string name[1005];
string day[10]={"23333333","Today is Monday.","Today is Tuesday.","Today is Wednesday.","Today is Thursday.","Today is Friday.","Today is Saturday."};
int say[1005];
int err;
int pd(int who,int x)
{
    if(fake[who]&&fake[who]!=x)err=1;
    else fake[who]=x;
}
int main()
{
    int n,m,p;
    scanf("%d%d%d",&m,&n,&p);
    for(int i=1;i<=m;i++)
    {
        cin>>name[i]; 
    }
    for(int i=1;i<=p;i++)
    {
        string nm;
        cin>>nm;
        nm.erase(nm.end()-1);
        for(int j=1;j<=m;j++)
        {
            if(name[j]==nm)say[i]=j;//say[i]=j表示第i句话是j说的 
        }
        getline(cin,s[i]);//把这一行剩下的读进去 
        s[i].erase(s[i].begin());//把开头的空格去掉? 
        s[i].erase(s[i].end()-1); //这一句话加上评测A,不加样例本地过。。。 
    }
    int tag=0;
    for(int xq=1;xq<=7;xq++)
    {
         
        for(int per=1;per<=m;per++)
        {
            err=0;
        memset(fake,0,sizeof(fake));
            for(int i=1;i<=p;i++)
            {
                if(s[i]=="I am guilty.")
                {
                    if(per==say[i])//如果是这个人说自己 
                    {
                        pd(say[i],1);//是成立的 
                    }
                    else
                    {
                        pd(say[i],-1); //否则不成立 
                    }
                }
                if(s[i]=="I am not guilty.")
                {
                    if(per!=say[i])//同理 
                    {
                        pd(say[i],1);
                    }
                    else
                    {
                        pd(say[i],-1);
                    }
                }
                for(int j=1;j<=7;j++)//再枚举一下星期几 
                {
                    if(s[i]==day[j])//第i句话说是星期j 
                    {
                        if(j==xq)//判断是不是这一天 
                        {
                            pd(say[i],1);
                        }
                        else
                        {
                            pd(say[i],-1);
                        }
                    }
                }
                for(int j=1;j<=m;j++)
                {
                    if(s[i]==name[j]+" is guilty.")//判断这句话是不是j说的 
                    {
                        if(per==j)//再判断是不是当前这个人 
                        {
                            pd(say[i],1);
                        }
                        else
                        {
                            pd(say[i],-1); 
                        }
                    }
                    if(s[i]==name[j]+" is not guilty.")
                    {
                        if(per!=j)//同理 
                        {
                            pd(say[i],1);
                        } 
                        else
                        {
                            pd(say[i],-1);
                        }
                    }
                }
            }
            int cnt1=0,cnt2=0;
            for(int i=1;i<=m;i++)
            {
                if(fake[i]==-1)//当前为说假话 
                {
                    cnt1++; 
                }
                if(fake[i]==0)//这个人无法判断 
                {
                    cnt2++;             
                }
            }
            if(err==0&&cnt1<=n&&cnt1+cnt2>=n)//没有矛盾并且说假话的人比n少并且说假话的人加上不确定的人数>=n(确保不确定的人中有说假话的人加上可以达到n 
            {
                if(tag&&tag!=per)//tag有过(保证不是第一个)并且tag和当前的人不是同一个 
                {
                    printf("Cannot Determine\n");//说明有多个,输出 
                    return 0;
                }
                else
                {
                    tag=per;//tag更新一下 
                }
            }
        }
    }
    if(tag==0)//tag始终没更新,找不到凶手了 
    {
        printf("Impossible\n");
        return 0;
    }
    cout<<name[tag];
    return 0;
}