//Author: Kevin
#include<bits/stdc++.h>
//#pragma GCC optimize("O2")
using namespace std;
#define ll long long
#define ull unsigned ll
#define pb emplace_back
#define mp make_pair
#define ALL(x) (x).begin(),(x).end()
#define rALL(x) (x).rbegin(),(x).rend()
#define srt(x) sort(ALL(x))
#define rev(x) reverse(ALL(x))
#define rsrt(x) sort(rALL(x))
#define sz(x) (int)(x.size())
#define inf 0x3f3f3f3f
#define pii pair<int,int>
#define lb(v,x) (int)(lower_bound(ALL(v),x)-v.begin())
#define ub(v,x) (int)(upper_bound(ALL(v),x)-v.begin())
#define uni(v) v.resize(unique(ALL(v))-v.begin())
#define longer __int128_t
void die(string S){puts(S.c_str());exit(0);}
const int mod=1e9+7;
int ban[25];
int limit[25];
int cnt[33],type[33];
int dp[25][1<<19];
int ccnt[1<<19][26];
int main()
{
	ios_base::sync_with_stdio(false);
	cin.tie(0);
	cout.tie(0);
	int t,k;
	cin>>t>>k;
	memset(limit,-1,sizeof(limit));
	while(t--)
	{
		string s,t;
		cin>>s>>t;
		static int c[26],tp[26];
		memset(c,0,sizeof(c));
		memset(tp,0,sizeof(tp));
		for(int i=0;i<k;i++)
			if(t[i]=='O')
			{
				int x=s[i]-'A';
				if(limit[i+1]!=-1&&limit[i+1]!=x)
					die("0");
				limit[i+1]=x;
				c[x]++;
			}
			else
			{
				int x=s[i]-'A';
				ban[i+1]|=(1<<x);
				if(t[i]=='-')
				{
					if(tp[x]) die("0");
					c[x]++;
				}
				else
					tp[x]=1;
			}
		for(int i=0;i<26;i++)
		{
			if(type[i]&&tp[i])
			{
				if(c[i]!=cnt[i]) die("0");
			}
			else if(tp[i])
			{
				if(c[i]<cnt[i]) die("0");
				cnt[i]=c[i];
				type[i]=tp[i];
			}
			else if(type[i])
			{
				if(c[i]>cnt[i]) die("0");
			}
			else
				cnt[i]=max(cnt[i],c[i]);
		}
	}
	int sm=accumulate(cnt,cnt+26,0);
	if(sm>k) die("0");
	dp[0][0]=1;
	int val[26];
	val[0]=1;
	for(int k=1;k<26;k++)
		val[k]=val[k-1]*(cnt[k-1]+1);
	int total=1;
	for(int i=0;i<26;i++)
		total*=(cnt[i]+1);
	for(int j=0;j<total;j++)
	{
		int tmp=j;
		for(int k=0;k<26;k++)
		{
			ccnt[j][k]=tmp%(cnt[k]+1);
			tmp/=(cnt[k]+1);
		}
	}
	for(int i=1;i<=k;i++)
		for(int x=0;x<26;x++)
			if(limit[i]==-1||limit[i]==x)
				if(!(ban[i]>>x&1))
					for(int j=0;j<total;j++) if(dp[i-1][j])
					{
						if(type[x]&&ccnt[j][x]==cnt[x])
							continue;
						int nj=j;
						if(ccnt[j][x]<cnt[x]) nj+=val[x];
						dp[i][nj]+=dp[i-1][j];
						if(dp[i][nj]>=mod) dp[i][nj]-=mod;
					}
	cout<<dp[k][total-1]<<endl;
	return 0;
}