/*2-sat要加的是具有强制关系的边*/

#include<iostream>

#include<cstring>

#include<cstdio>

using namespace std;

#define N 2005

#define M 2000005

struct Edge{int to,nxt;}e[M<<];

int n,m,head[N],tot;

void init(){

    memset(head,-,sizeof head);

}

void add(int u,int v){

    e[tot].to=v;

    e[tot].nxt=head[u];

    head[u]=tot++;

}

int low[N],dfn[N],cnt,id[N],ind,stk[N],top,ins[N];

void tarjan(int x){

    dfn[x]=low[x]=++ind;

    stk[++top]=x;ins[x]=;

    for(int i=head[x];i!=-;i=e[i].nxt){

        int y=e[i].to;

        if(!dfn[y]){

            tarjan(y);

            low[x]=min(low[x],low[y]);

        }

        else if(ins[y])

            low[x]=min(low[x],low[y]);

    }

    if(dfn[x]==low[x]){

        cnt++;int y;

        do{

            y=stk[top--];

            ins[y]=;

            id[y]=cnt;

        }while(x!=y);

    }

}

int main(){

    init();

    int a,b,c;

    char op[];

    cin>>n>>m;

    for(int i=;i<=m;i++){

        scanf("%d%d%d %s",&a,&b,&c,op);

        a++,b++;

        if(op[]=='A'){

            if(c==)add(a+n,b),add(b+n,a);

            if(c==)add(a,a+n),add(b,b+n);

        }

        if(op[]=='O'){

            if(c==)add(a+n,a),add(b+n,b);

            if(c==)add(a,b+n),add(b,a+n);

        }

        if(op[]=='X'){

            if(c==)add(a,b),add(b,a),add(a+n,b+n),add(b+n,a+n);

            if(c==)add(a,b+n),add(a+n,b),add(b,a+n),add(b+n,a);

        }

    }

    for(int i=;i<=*n;i++)

        if(!dfn[i])tarjan(i);

    for(int i=;i<=n;i++)

        if(id[i]==id[i+n]){

            puts("NO");

            return ;

        }

    puts("YES");

}