#include <bits/stdc++.h>

using namespace std;
using i64 = long long;

struct DSU {
  vector<int> f, sz;

  DSU(int n) { init(n); }

  void init(int n) {
    f.resize(n);
    iota(f.begin(), f.end(), 0);
    sz.assign(n, 1);
  }

  int find(int u) {
    while (u != f[u]) {
      u = f[u] = f[f[u]];
    }
    return u;
  }
  bool merge(int u, int v) {
    u = find(u);
    v = find(v);
    if (u == v) {
      return false;
    }
    if (sz[u] > sz[v]) {
      swap(u, v);
    }
    f[u] = v;
    sz[v] += sz[u];
    return true;
  }

  bool same(int u, int v) { return find(u) == find(v); }
  int size(int u) { return sz[find(u)]; }
};

int main() {
  ios::sync_with_stdio(false);
  cin.tie(nullptr);
  constexpr int mxbit = 60;

  int n, m, q;
  i64 V;
  cin >> n >> m >> q >> V;

  vector adj(n, vector(0, pair(0, 0ll)));
  for (int i = 0; i < m; i++) {
    int u, v;
    i64 w;
    cin >> u >> v >> w;
    u--, v--;
    adj[u].emplace_back(v, w);
    adj[v].emplace_back(u, w);
  }

  vector dsu(mxbit, DSU(n));
  auto dfs = [&](auto&& self, int u, i64 pre, int i) -> void {
    for (auto& [v, w] : adj[u]) {
      if (dsu[i].same(u, v)) {
        continue;
      }
      if ((w & pre) == pre) {
        dsu[i].merge(u, v);
        self(self, v, pre, i);
      }
    }
  };

  i64 pre = 0;
  for (int i = mxbit - 1; i >= 0; i--) {
    if (V >> i & 1) {
      if (i == 0) {
        for (int u = 0; u < n; u++) {
          dfs(dfs, u, V, 0);
        }
      } else if (~V >> i - 1 & 1) {
        for (int u = 0; u < n; u++) {
          dfs(dfs, u, pre + (1 << i - 1), i);
        }
      }
      pre += 1ll << i;
    }
  }

  while (q--) {
    int u, v;
    cin >> u >> v;
    u--, v--;

    bool ok = false;
    for (int i = 0; i < mxbit; i++) {
      ok |= dsu[i].same(u, v);
    }

    cout << (ok ? "Yes\n" : "No\n");
  }

  return 0;
}