#include <bits/stdc++.h>
using namespace std;
const int MOD = 1e9 + 7;
int day[] = {31, 28, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31};
template <typename T>
inline bool isLeap(T y) {
  return (y % 400 == 0) || (y % 100 ? y % 4 == 0 : false);
}
template <typename T>
inline T GCD(T a, T b) {
  a = abs(a);
  b = abs(b);
  if (a < b) swap(a, b);
  while (b) {
    a = a % b;
    swap(a, b);
  }
  return a;
}
template <typename T>
inline T EGCD(T a, T b, T &x, T &y) {
  if (a == 0) {
    x = 0;
    y = 1;
    return b;
  }
  T x1, y1;
  T d = EGCD(b % a, a, x1, y1);
  x = y1 - (b / a) * x1;
  y = x1;
  return d;
}
template <typename T>
inline T LCM(T x, T y) {
  T tp = GCD(x, y);
  if ((x / tp) * 1. * y > 9e18) return 9e18;
  return (x / tp) * y;
}
template <typename T>
inline T BigMod(T A, T B, T M = MOD) {
  T ret = 1;
  while (B) {
    if (B & 1) ret = (ret * A) % M;
    A = (A * A) % M;
    B = B >> 1;
  }
  return ret;
}
template <typename T>
inline T InvMod(T A, T M = MOD) {
  return BigMod(A, M - 2, M);
}
template <typename T>
void Compress(T *in, int n, int f = 0) {
  vector<T> vv;
  for (int i = f; i < n + f; i++) vv.push_back(in[i]);
  sort(vv.begin(), vv.end()), vv.erase(unique(vv.begin(), vv.end()), vv.end());
  for (int i = f; i < n + f; i++)
    in[i] = lower_bound(vv.begin(), vv.end(), in[i]) - vv.begin();
}
template <typename T>
T scani(T &n) {
  n = 0;
  bool negative = false;
  char c = getchar();
  while (c < '0' || c > '9') {
    if (c == '-') negative = true;
    c = getchar();
  }
  while (c >= '0' && c <= '9') {
    n = n * 10 + c - 48;
    c = getchar();
  }
  if (negative) n = ~(n - 1);
  return n;
}
template <typename T>
void write(T n, int type = true) {
  if (n < 0) {
    putchar('-');
    n = -n;
  }
  if (!n) {
    putchar('0');
    if (type == 32)
      putchar(' ');
    else if (type)
      putchar('\n');
    return;
  }
  char buff[22];
  int len = 0;
  while (n) buff[len++] = n % 10 + 48, n /= 10;
  for (int i = len - 1; i >= 0; i--) putchar(buff[i]);
  if (type == 32)
    putchar(' ');
  else if (type)
    putchar('\n');
}
int scans(char *a) {
  int i = 0;
  char c = 0;
  while (c < 33) c = getchar();
  while (c > 33) {
    a[i++] = c;
    c = getchar();
  }
  a[i] = 0;
  return i;
}
const int nSz = 2000006;
long long F[nSz + 1], tMod = MOD;
void Factorial() {
  F[0] = 1;
  for (int i = 1; i <= nSz; i++) F[i] = (F[i - 1] * i) % tMod;
}
inline long long nCr(int n, int r) {
  return (F[n] * InvMod((F[n - r] * F[r]) % tMod, tMod)) % tMod;
}
template <typename T>
inline T SqrDis(T x1, T y1, T x2, T y2) {
  return ((x1 - x2) * (x1 - x2)) + ((y1 - y2) * (y1 - y2));
}
template <typename T>
inline T Area2(T Ax, T Ay, T Bx, T By, T Cx, T Cy) {
  T ret = Ax * (By - Cy) + Bx * (Cy - Ay) + Cx * (Ay - By);
  if (ret < 0) return ret = -ret;
  return ret;
}
const int N = 200005;
const int M = 200005;
const unsigned long long hs = 3797;
int base = 333;
struct data {
  int l, r, lca, id;
  data() { l = r = lca = id = 0; }
  data(int a, int b, int c, int d) {
    l = a;
    r = b;
    lca = c;
    id = d;
  }
  bool operator<(const data &yoo) const {
    return l / base == yoo.l / base ? r < yoo.r : l / base < yoo.l / base;
  }
} Q[N];
int n, qr, color[N], boy[N], girl[N], gender[N], vis[N], lf, rt, st[N], ed[N],
    Time, org[N], node[N];
long long Ans, res[N];
int L[N], LCA[N][22];
vector<int> G[N];
void dfs(int x, int F) {
  L[x] = L[F] + 1;
  LCA[x][0] = F;
  st[x] = ++Time;
  org[Time] = color[x];
  node[Time] = x;
  for (int y : G[x])
    if (y != F) dfs(y, x);
  ed[x] = ++Time;
  org[Time] = color[x];
  node[Time] = x;
}
int find_LCA(int x, int y) {
  if (L[x] < L[y]) swap(x, y);
  int log = log2(L[x]);
  for (int i = log; i >= 0; i--)
    if (L[x] - (1 << i) >= L[y]) x = LCA[x][i];
  if (x == y) return x;
  for (int i = log; i >= 0; i--)
    if (LCA[x][i] && LCA[x][i] != LCA[y][i]) {
      x = LCA[x][i];
      y = LCA[y][i];
    }
  return LCA[x][0];
}
void built_LCA() {
  memset(LCA, 0, sizeof LCA);
  L[0] = -1;
  dfs(1, 0);
  for (int j = 1; (1 << j) <= n; j++)
    for (int i = 1; i <= n; i++)
      if (LCA[i][j - 1]) LCA[i][j] = LCA[LCA[i][j - 1]][j - 1];
}
void add(int i) {
  if (i == 0) return;
  if (gender[node[i]]) {
    Ans += girl[org[i]];
    boy[org[i]]++;
  } else {
    Ans += boy[org[i]];
    girl[org[i]]++;
  }
}
void del(int i) {
  if (i == 0) return;
  if (gender[node[i]]) {
    Ans -= girl[org[i]];
    boy[org[i]]--;
  } else {
    Ans -= boy[org[i]];
    girl[org[i]]--;
  }
}
void change(int i) {
  if (i == 0) return;
  if (vis[node[i]]) {
    del(i);
  } else {
    add(i);
  }
  vis[node[i]] ^= 1;
}
void MO(int i) {
  int L = Q[i].l;
  int R = Q[i].r;
  int lca = Q[i].lca;
  while (rt != R) {
    if (rt < R)
      change(++rt);
    else
      change(rt--);
  }
  while (lf != L) {
    if (lf < L)
      change(lf++);
    else
      change(--lf);
  }
  change(lca);
  res[Q[i].id] = Ans;
  change(lca);
}
int main() {
  scani(n);
  for (int i = (1); i < (n + 1); ++i) scani(gender[i]);
  for (int i = (1); i < (n + 1); ++i) scani(color[i]);
  Compress(color, n, 1);
  for (int i = (1); i < (n); ++i) {
    int x, y;
    scani(x), scani(y);
    G[x].push_back(y);
    G[y].push_back(x);
  }
  built_LCA();
  scani(qr);
  base = sqrt(n + qr) + 1;
  for (int i = (0); i < (qr); ++i) {
    int x, y;
    scani(x), scani(y);
    if (L[x] > L[y]) swap(x, y);
    int lca = find_LCA(x, y);
    if (lca == x)
      Q[i] = data(st[x], st[y], 0, i);
    else
      Q[i] = data(ed[x], st[y], st[lca], i);
  }
  sort(Q, Q + qr);
  for (int i = (0); i < (qr); ++i) MO(i);
  for (int i = (0); i < (qr); ++i) write(res[i]);
  return 0;
}
