program criminald;
var
  i,n,m,temp,a,b:longint;
  c:char;
  sz:array[1..1000]of integer;
  tab:array[1..1000,1..2,0..1000]of longint;
procedure find(now:longint);
var
  i:longint;
begin
  for i:=1 to tab[now,1,0] do
  begin
    if sz[abs(tab[now,1,i])]=0 then begin
      if tab[now,1,i]>0 then begin
        if sz[now]=1 then sz[abs(tab[now,1,i])]:=2 else sz[abs(tab[now,1,i])]:=1;
      end
      else begin
        if sz[now]=1 then sz[abs(tab[now,1,i])]:=1 else sz[abs(tab[now,1,i])]:=2;
      end;
      find(abs(tab[now,1,i]));
    end;
  end;
  for i:=1 to tab[now,2,0] do
  begin
    if sz[abs(tab[now,2,i])]=0 then begin
      if tab[now,1,i]>0 then begin
        if sz[now]=1 then sz[abs(tab[now,2,i])]:=2 else sz[abs(tab[now,2,i])]:=1;
      end
      else begin
        if sz[now]=1 then sz[abs(tab[now,2,i])]:=1 else sz[abs(tab[now,2,i])]:=2;
      end;
      find(abs(tab[now,2,i]));
    end;
  end;
end;
begin
  assign(input,'criminald.in');
  assign(output,'criminald.out');
  reset(input);
  rewrite(output);
  readln(n,m);
  fillchar(sz,sizeof(sz),0);
  for i:=1 to m do
  begin
    read(temp);
    sz[temp]:=1;
  end;
  readln;
  while true do
  begin
    read(c);
    if c='E' then break;
    if c='S' then begin
      readln(a,b);
      tab[a,1,0]:=tab[a,1,0]+1;
      tab[a,1,tab[a,1,0]]:=b;
      tab[abs(b),2,0]:=tab[abs(b),2,0]+1;
      tab[abs(b),2,tab[abs(b),2,0]]:=a*abs(b)div b;
      if ((sz[a]=0)and(sz[abs(b)]<>0))or((sz[a]<>0)and(sz[abs(b)]=0)) then begin
        if sz[a]<>0 then begin
          if sz[a]=1 then begin
            if b>0 then sz[b]:=2 else sz[-b]:=1;
          end;
          if sz[a]=2 then begin
            if b>0 then sz[b]:=1 else sz[-b]:=2;
          end;
          find(b);
        end
        else if sz[b]<>0 then begin
          if sz[b]=1 then begin
            if b>0 then sz[a]:=2 else sz[-b]:=1;
          end;
          if sz[b]=2 then begin
            if b>0 then sz[a]:=1 else sz[-b]:=2;
          end;
          find(b);
        end;
      end;
    end
    else begin
      readln(temp);
      if sz[temp]=0 then writeln('Unknown');
      if sz[temp]=1 then writeln('Yes');
      if sz[temp]=2 then writeln('No');
    end;
  end;
  close(input);
  close(output);
end.