#include<bits/stdc++.h>
using namespace std;
const int N=5005;
#define int long long
int ref_[N],ban[N],p[N],zero[N];
int f[N][N],n;
int t[N],cnt1,cnt2;
int a[N],b[N];
const int mod=1e9+7;
signed main(){
    scanf("%lld",&n);
    for(int i=1;i<=2*n;i++){
        char tmp[5];
        scanf("%s",tmp);
        if(tmp[0]=='I'){
            cnt1++;
            scanf("%lld",&a[cnt1]);
            if(a[cnt1]==0) zero[cnt1]=1;
            else t[a[cnt1]]++;
        }
        else{
            cnt2++;
            scanf("%lld",&b[cnt2]);
            if(b[cnt2]!=0) t[b[cnt2]]++;
            ref_[cnt2]=cnt1;
        }
    }
    for(int i=1;i<=n;i++){
        if(t[a[i]]==2){
            ban[i]=1;
        }
    }
    for(int i=1;i<=n;i++){
        zero[i]+=zero[i-1];
        ban[i]+=ban[i-1];
    }
    for(int i=1;i<=n;i++){
         p[i]=ref_[i]-(i-1)-ban[ref_[i]];
    }
    f[0][0]=1;
    for(int i=1;i<=n;i++){
        for(int j=0;j<=n;j++){
            if(b[i]==0){
                if(p[i]-(zero[ref_[i]]-j)>0){
                    f[i][j]=(f[i][j]+f[i-1][j]*(p[i]-(zero[ref_[i]]-j)))%mod;
                }
                if(zero[ref_[i]]-(j-1)>0){
                    f[i][j]=(f[i][j]+f[i-1][j-1]*(zero[ref_[i]]-(j-1)))%mod;
                }
            }
            else if(t[b[i]]==1){
                if(zero[ref_[i]]-(j-1)>0){
                    f[i][j]=(f[i][j]+f[i-1][j-1]*(zero[ref_[i]]-(j-1)))%mod;
                }
            }
            else{
                f[i][j]=f[i-1][j];
            }
        }
    }
    int ans=f[n][zero[ref_[n]]];
    int cnt=0;
    for(int i=1;i<=n;i++){
        if(!t[i]) cnt++;
    }
    while(cnt){
        ans=ans*cnt%mod;
        cnt--;
    }
    printf("%lld\n",ans);
    return 0;
}