#include <bits/stdc++.h>
using namespace std;
using vi=vector<int>;
using ll=long long;
#define pb push_back
#define fst first
#define snd second
using vll=vector<ll>;
using Pii=pair<int,int>;
using Pll=pair<ll,ll>;
using vpii=vector<Pii>;
#ifndef LOCAL
#pragma GCC optimize("O3")
#endif
#define sim template <class c
#define mor > muu & operator<<(
#define ris return *this
#define R22(r) sim> typename enable_if<1 r sizeof(dud<c>(0)),muu&>::type operator<<(c g) {
sim> struct rge {c b, e;};
sim> rge<c> range(c i, c j) {return rge<c>{i, j};}
sim> auto dud(c*r)->decltype(cerr << *r);
sim> char dud(...);
struct muu {
	#ifdef LOCAL
	stringstream a;
	~muu() {cerr << a.str() << endl;}
	R22(<) a << boolalpha << g; ris;}
	R22(==) ris << range(begin(g), end(g));}
	sim mor rge<c> u) {
		a << "[";
		for (c i = u.b; i != u.e; ++i)
			*this << ", " + 2 * (i == u.b) << *i;
		ris << "]";
	}
	sim, class m mor pair<m,c> r) {ris << "(" << r.first << ", " << r.second << ")";}
	#else
	sim mor const c &){ris;}
	#endif
	muu & operator()(){ris;}
};
#define imie(r) "[" #r ": " << (r) << "] "
#define debug (muu() << __FUNCTION__ << "#" << __LINE__ << ": " )
typedef long long ll;
const int maxn = 1e6;
vi E[maxn];
vi Erev[maxn];
void push(int a, int b)
{
	E[a].push_back(b);
	Erev[b].push_back(a);
	//debug() << "Pushing " << imie(a) << imie(b);
}
int n, m, a, b;
int osiagalne;
int renumeracja[maxn];
bool visited[maxn];
void dfs(int x)
{
	if(visited[x]) return;
	visited[x] = true;
	for(int y : E[x])
		dfs(y);
}
void osiagalne_z_jeziora()
{
	for(int i = 0; i < a; ++i)
		dfs(i);
	
	for(int i = 0; i < n; ++i)
		renumeracja[i] = -1;
	
	for(int i = a; i < a + b; ++i)
		if(visited[i])
			renumeracja[i] = osiagalne++;
}
int P[maxn];
vi P_SS[maxn];
int Find(int x)
{
	if(P[x] == x) return x;
	else return P[x] = Find(P[x]);
}
void Union(int c, int d)
{
	P[Find(c)] = Find(d);
}
// Start silnie spójnych
bool vis_ss[maxn];
int postorder[maxn];
int porder_cnter;
void dfs_ss1(int x)
{
	vis_ss[x] = true;
	//debug() << "wchodze do " << imie(x);
	//debug() << imie(E[x]);
	for(int y : E[x]) {
		//debug() << imie(vis_ss[y]);
		if(!vis_ss[y])
			dfs_ss1(y);
	}
	//debug() << "wychodze z " << imie(x);
	postorder[porder_cnter++] = x;
}
void dfs_ss2(int x)
{
	vis_ss[x] = true;
	for(int y : Erev[x])
		if(!vis_ss[y])
		{
			Union(x, y);
			dfs_ss2(y);
		}
}
void silnie_spojne()
{
	for(int i = 0; i < n; ++i)
		P[i] = i;
	for(int i = 0; i < n; ++i)
		if(!vis_ss[i])
			dfs_ss1(i);
	for(int i = 0; i < n; ++i)
		vis_ss[i] = false;
	for(int i = porder_cnter - 1; i >= 0; --i)
	{
		if(!vis_ss[postorder[i]])
			dfs_ss2(postorder[i]);
		//debug() << imie(postorder[i]);
	}
	for(int i = 0; i < n; ++i)
		P_SS[Find(i)].push_back(i);
	//~ for(int i = 0; i < n; ++i)
		//~ debug() << imie(i) << imie(P[i]);
}
// Koniec silnie spojnych
vector<Pii> zjedz_zakres(vector<Pii> zakres)
{
	if(zakres.empty()) return {};
	sort(zakres.begin(), zakres.end());
	vector<Pii> res;
	Pii curr = zakres[0];
	for(int i = 1; i < (int)zakres.size(); ++i)
	{
		if(zakres[i].first > curr.second + 1)
		{
			res.push_back(curr);
			curr = zakres[i];
		}
		else
		{
			curr.second = max(curr.second, zakres[i].second);
		}
	}
	res.push_back(curr);
	assert(res.size() <= 2);
	return res;
}
vector<Pii> zakresy[maxn];
bool wyznaczono[maxn];
vector<Pii> wyznaczaj_zakresy(int x)
{
	x = Find(x);
	if(wyznaczono[x])
		return zakresy[x];
	wyznaczono[x] = true;
	vector<Pii> zakres;
	for(int p : P_SS[x])
		for(int y : E[p])
			for(Pii para : wyznaczaj_zakresy(y))
				zakres.push_back(para);
	for(int p : P_SS[x])
		if(renumeracja[p] != -1)
			zakres.push_back({renumeracja[p],renumeracja[p]});
	return zakresy[x] = zjedz_zakres(zakres);
}
const ll mod = 1e9 + 7;
ll licz_dpka(vector<Pii> przedzialy, int len)
{
	//debug() << imie(przedzialy) << imie(len);
	vector<vector<int>> konce(len + 1);
	for(Pii p : przedzialy)
		konce[p.second].push_back(p.first);
	vector<ll> dpk(len + 2);
	vector<ll> sumy(len + 2);
	
	dpk[0] = 1;
	sumy[0] = 1;
	int lewy_koniec = -1;
	for(int i = 0; i < len + 1; ++i) {
		//debug() << imie(lewy_koniec);
		dpk[i + 1] = sumy[i] - (lewy_koniec == -1 ? 0 : sumy[lewy_koniec]);
		dpk[i + 1] %= mod;
		sumy[i + 1] = (dpk[i + 1] + sumy[i]) % mod;
		for(int kon : konce[i])
			lewy_koniec = max(lewy_koniec, kon);
	}
	//debug() << imie(dpk) << imie(sumy);
	//debug() << imie(przedzialy) << imie(len);
	//debug() << imie(dpk[len]);
	ll res = dpk[len + 1] % mod;
	if(res < 0) res += mod;
	return res;
}

ll heura(vector<Pii> zakres, int dlugosc)
{
	vi dynda(dlugosc);
	int sum = 0;
	for(Pii p : zakres)
	{
		dynda[p.first]++;
		dynda[p.second]--;
		if(p.second < p.first)
			++sum;
	}
	
	for(int i = 0; i < dlugosc; ++i)
	{
		sum += dynda[i];
		if(sum == 0)
		{
			for(Pii& p : zakres)
			{
				p.first = (p.first - i + dlugosc - 1) % dlugosc;
				p.second = (p.second - i + dlugosc - 1) % dlugosc;
				assert(p.first <= p.second);
			}
			return licz_dpka(zakres, dlugosc);
			
		}
	}
	return -1;
}

int licz_wynik(int dlugosc)
{
	vector<Pii> zak;
	for(int i = 0; i < a; ++i)
	{
		auto zakres = wyznaczaj_zakresy(i);
		if(zakres.size() == 1)
		{
			auto p = zakres[0];
			if(p.first == 0 && p.second == dlugosc - 1)
				continue;
			zak.push_back(p);
		}
		else if(zakres.size() == 2)
		{
			auto p1 = zakres[0];
			auto p2 = zakres[1];
			assert(p1.first == 0);
			assert(p2.second == dlugosc - 1);
			zak.push_back({p2.first, p1.second});
		}
		else
			assert(false);
	}
	//debug() << zak;
	ll res = 0;
	if(zak.empty())
	{
		res = 1;
		for(int i = 0; i < dlugosc; ++i)
			res = 2 * res % mod;
		res = (res - 1 + mod) % mod;
		return res;
	}
	ll heu = heura(zak, dlugosc);
	if(heu >= 0)
		return heu;
	for(int i = 0; i < dlugosc; ++i)
	{
		vector<Pii> zak2;
		bool ok = true;
		for(Pii p : zak)
		{
			if(p.second >= p.first)
			{
				if(i >= p.first && i <= p.second) continue;
				if(i > p.second)
				{
					ok = false;
					break;
				}
				p.first -= i + 1;
				p.second -= i + 1;
				zak2.push_back(p);
			}
			else
			{
				if(i <= p.second) continue;
				p.second = dlugosc - 1;
				p.first -= i + 1;
				p.second -= i + 1;
				zak2.push_back(p);
			}
		}
		if(!ok) break;
		res += licz_dpka(zak2, dlugosc - i - 1);
	}
	res %= mod;
	return res;
}
int main()
{
	scanf("%d%d%d%d", &n, &m, &a, &b);
	for(int i = 0; i < m; ++i)
	{
		char buff[10];
		int u, v;
		scanf("%d%s%d", &u, buff, &v);
		--u; --v;
		push(u, v);
		if(buff[1] == '-')
			push(v, u);
	}
	osiagalne_z_jeziora();
	silnie_spojne();
	//~ for(int i = 0; i < a; ++i)
		//~ debug() << wyznaczaj_zakresy(i);
	//~ for(int i = 0; i < n; ++i)
		//~ debug() << imie(renumeracja[i]);
	int nieosiagalne = 0;
	for(int i = 0; i < b; ++i)
		if(renumeracja[a + i] == -1)
			nieosiagalne++;
	//debug() << imie(nieosiagalne);
	ll res = licz_wynik(b - nieosiagalne);
	for(int i = 0; i < nieosiagalne; ++i)
		res = 2 * res % mod;
	printf("%lld\n", res);
}