#include <bits/stdc++.h>
using namespace std;

const int N=2010, M=4000040;
int ver[M],nxt[M],head[N],tot;
int dfn[N],low[N],stk[N],scc[N],n,m,num,top,cnt;
bool ins[N];

void add(int x,int y){
    ver[++tot]=y,nxt[tot]=head[x],head[x]=tot;
}

void tarjan(int x){
    dfn[x]=low[x]=++num;
    stk[++top]=x, ins[x]=true;
    for(int i=head[x];i;i=nxt[i]){
        int y=ver[i];
        if(!dfn[y]){
            tarjan(y);
            low[x]=min(low[x],low[y]);
        } else if(ins[y])
            low[x]=min(low[x],dfn[y]);
    }
    if(low[x]==dfn[x]){
        cnt++;
        int y;
        do{
            y=stk[top--];
            ins[y]=false;
            scc[y]=cnt;
        }while(y!=x);
    }
}

int main(){
    cin>>n>>m;
    tot=1;
    for(int i=1;i<=m;i++){
        int a,b,c;
        char op[80];
        scanf("%d%d%d%s",&a,&b,&c,op);
        a++,b++;
        if(op[0]=='A' && c==0)
            add(a+n,b), add(b+n,a); //+n表示是1，其它是0
        if(op[0]=='A' && c==1)
            add(a,a+n),add(b,b+n);
        if(op[0]=='O' && c==0)
            add(a+n,a), add(b+n,b);
        if(op[0]=='O' && c==1)
            add(a,b+n), add(b,a+n);
        if(op[0]=='X' && c==0)
            add(a,b),add(b,a),add(a+n,b+n),add(b+n,a+n);
        if(op[0]=='X' && c==1)
            add(a,b+n),add(b,a+n),add(a+n,b),add(b+n,a);            
    }
    for(int i=1;i<=n;i++)
        if(!dfn[i])tarjan(i);
    for(int i=1;i<=n;i++)
        if(scc[i]==scc[i+n])return puts("NO")&0;
    puts("YES");
    return 0;
}