#include <stdio.h>
#include <string.h>


int main(void){
  int poc_zadani=0;
  int h,r,a,i,hraje=1,j,k,l,m,poc_roli=0,uz_je=0;
  char jmeno[101][31];
  char role[61][31];
  char nemocni[101][31];
  char sjmeno[101][31];
  int spocet[101];
  int stav=0,zahraje_nekdo_jiny=0;
  char srole[61][101][31];
  char umi_zahrat[61][31]; 
  
  scanf("%d",&poc_zadani);
  while(poc_zadani-- >0){
    scanf("%d %d %d",&h,&r,&a);
    for(i=1;i<=h;i++)
    {
      scanf("%s",jmeno[i]);
    }
    for(i=1;i<=r;i++)
    {
      scanf("%s",role[i]);
    }
    for(i=1;i<=h;i++)
    {
      scanf("%s %d",sjmeno[i],&spocet[i]);
      for(j=1;j<=spocet[i];j++)
      {
        scanf("%s",srole[j][i]);
     }
    }
    for(i=1;i<=a;i++)
    {
      scanf("%s",nemocni[i]);
    }
  
    for(i=1;i<=h;i++)
    {
      for(j=1;j<=a;j++)
      {
        if(strcmp(sjmeno[i],nemocni[j])==0)
	{
	  hraje=0;
	  
	}
       }
      if(hraje==1)
      {
        
      for(j=1;j<=spocet[i];j++)
	{
	  for(k=0;k<=poc_roli;k++)
	  {
	   if(strcmp(srole[j][i],umi_zahrat[k])==0)
	     {
               uz_je=1;
	     }
          }	
	    
	  if(uz_je==0)
	    {
	            for(k=i;k<=h;k++)
                      {
                      if(k!=i){
	              for(m=1;m<=spocet[k];m++)
		      {     
		      
		         
		      for(l=0;l<=poc_roli;l++)
	                {
	                  if(strcmp(srole[m][k],umi_zahrat[l])==0)
			  {
			    zahraje_nekdo_jiny=1;
			  }
	                 }
	              }             
		     }

	if(spocet[i]==1){
	    zahraje_nekdo_jiny=0;
	              }	
	if(zahraje_nekdo_jiny==0)
	{
	      strcpy(umi_zahrat[poc_roli],srole[j][i]);
	      stav=1;
	      poc_roli++;
	}
	zahraje_nekdo_jiny=0;
             }
	    uz_je=0;
	  
	}
      }
      }
      hraje=1;
      
    }
  }
  if(poc_roli>=r) printf("Premiera bude!\n");
    else printf("Zatraceni demonstranti!\n");

  return 0;
  
}