#include <bits/stdc++.h>
int ss,N,Q,qr[200009],la[1000009],st[1000009],k,rt[1000009],kk,bb[200009];
struct n_t{
	int fl,su,ls,rs;
} sg[60000009];
#define md ((l+r)>>1)
void pud(int n,int l,int r) {
	//printf("! %d %d %d\n",n,l,r);
	if(!sg[n].fl) return;
	if(!sg[n].ls) sg[n].ls=++kk;
	if(!sg[n].rs) sg[n].rs=++kk;
	int a=sg[n].ls;
	sg[a].fl^=1;
	sg[a].su=md-l+1-sg[a].su;
	int b=sg[n].rs;
	sg[b].fl^=1;
	sg[b].su=r-md-sg[b].su;
	sg[n].fl=0;
}
void puu(int n,int l,int r) {
	sg[n].su=sg[sg[n].ls].su+sg[sg[n].rs].su;
}
void up(int& n,int l,int r,int L,int R) {
	if(r<L||R<l) return;
	n=++kk;
	if(L<=l&&r<=R) {
		sg[n].fl=1;
		sg[n].su=r-l+1;
		return;
	}
	up(sg[n].ls,l,md,L,R);
	up(sg[n].rs,md+1,r,L,R);
	puu(n,l,r);
}
void sv6(int& n,int n2,int l,int r) {
	if(sg[n2].su==0) {
		return;
	}
	if(sg[n].su==0) {
		n=n2;
		return;
	}
	if(sg[n2].su==r-l+1) {
		sg[n].su=r-l+1;
		sg[n].fl=1;
		sg[n].ls=sg[n].rs=0;
		return;
	}
	if(sg[n].su==r-l+1) {
		sg[n].su=r-l+1;
		sg[n].fl=1;
		sg[n].ls=sg[n].rs=0;
		return;
	}
	pud(n2,l,r);
	pud(n,l,r);
	sv6(sg[n].ls,sg[n2].ls,l,md);
	sv6(sg[n].rs,sg[n2].rs,md+1,r);
	puu(n,l,r);
}
void sv5(int& n,int n2,int l,int r) {
	if(sg[n].su==0) {
		n=n2;
		return;
	}
	if(sg[n2].su==0) {
		return;
	}
	if(sg[n2].su==r-l+1) {
		sg[n].fl^=1;
		sg[n].su=r-l+1-sg[n].su;
		return;
	}
	if(sg[n].su==r-l+1) {
		n=n2;
		sg[n].fl^=1;
		sg[n].su=r-l+1-sg[n].su;
		return;
	}
	pud(n2,l,r);
	pud(n,l,r);
	sv5(sg[n].ls,sg[n2].ls,l,md);
	sv5(sg[n].rs,sg[n2].rs,md+1,r);
	puu(n,l,r);
}
void sv4(int& n,int n2,int l,int r) {
	if(sg[n].su==r-l+1) {
		n=n2;
		return;
	}
	if(sg[n2].su==r-l+1) {
		return;
	}
	if(sg[n2].su==0) {
		sg[n].su=0;
		sg[n].fl=0;
		sg[n].ls=sg[n].rs=0;
		return;
	}
	if(sg[n].su==0) {
		sg[n].su=0;
		sg[n].fl=0;
		sg[n].ls=sg[n].rs=0;
		return;
	}
	//printf("%d %d %d %d\n",n,n2,l,r);
	pud(n2,l,r);
	pud(n,l,r);
	//printf("??\n");
	sv4(sg[n].ls,sg[n2].ls,l,md);
	sv4(sg[n].rs,sg[n2].rs,md+1,r);
	puu(n,l,r);
}
inline int fd(int n,int l,int r,int p) {
	if(l==r) return sg[n].su;
	pud(n,l,r);
	if(p<=md) return fd(sg[n].ls,l,md,p);
	else return fd(sg[n].rs,md+1,r,p);
}
#undef md
char s[1000009];
int cr(int n) {
	//printf("cr\n");
	ss++;
	int l=1,r=Q+1,mm;
	while(l<r) {
		mm=(l+r)/2;
		if(bb[mm]>=n) r=mm;else l=mm+1;
	}
	if(l<=Q) up(rt[ss],1,Q,l,Q);
	else rt[ss]=++kk;
	return ss;
}
int cl6(int a,int b) {
	//printf("6\n");
	sv6(rt[a],rt[b],1,Q);
	return a;
}
int cl5(int a,int b) {
	//printf("5\n");
	sv5(rt[a],rt[b],1,Q);
	return a;
}
int cl4(int a,int b) {
	//printf("4\n");
	sv4(rt[a],rt[b],1,Q);
	return a;
}
int cl3(int a) {
	//printf("3\n");
	sg[rt[a]].fl^=1;
	sg[rt[a]].su=Q-sg[rt[a]].su;
	return a;
}
int sv(int l,int r,int ma) {
	//printf("%d %d\n",l,r);
	if(l==la[r]) {
		return sv(l+1,r-1,6);
	}
//	std::vector<int> tp;
	int la6=0,la5=0,la4=0;
	for(int i=r;i>=l;i--) {
		if(s[i]==')') {
			i=la[i];
		} else if(s[i]=='|') {
			if(la6==0) {
				la6=i;
				break;
			}
		} else if(s[i]=='^') {
			if(la5==0) {
				la5=i;
				if(ma<=5) break;
			}
		} else if(s[i]=='&') {
			if(la4==0) {
				la4=i;
				if(ma<=4) break;
			}
		} 
	}
	if(la6) {
		int a=sv(l,la6-1,6),b=sv(la6+1,r,6);
		return cl6(a,b);
	}
	if(la5) {
		int a=sv(l,la5-1,5),b=sv(la5+1,r,5);
		return cl5(a,b);
	}
	if(la4) {
		int a=sv(l,la4-1,4),b=sv(la4+1,r,4);
		return cl4(a,b);
	}
	if(s[l]=='!') {
		int a=sv(l+1,r,3);
		return cl3(a);
	}
	int as=0;
	if(r-l+1>=12) {
		as=1000000000;
	} else {
		for(int i=l+1;i<r;i++) {
			as=as*10+s[i]-'0';
		}
	}
	return cr(as);
}
signed main(void) {
	scanf("%d %d",&N,&Q);
	scanf("%s",s+1);
	for(int i=1;i<=Q;i++) {
		scanf("%d",&qr[i]);
		bb[i]=qr[i];
	}
	std::sort(bb+1,bb+Q+1);
	for(int i=1;i<=N;i++) {
		if(s[i]=='(') {
			st[++k]=i;
		}
		if(s[i]==')') {
			la[i]=st[k];
			k--;
		}
	}
	int n=sv(1,N,6);
	for(int i=1;i<=Q;i++) {
		int l=1,r=Q,md;
		while(l<r) {
			md=(l+r)/2;
			if(bb[md]>=qr[i]) r=md;else l=md+1;
		}
		if(fd(rt[n],1,Q,l)) printf("True\n");
		else printf("False\n");
	}
}