A(x~u) <-> A(x~p) B(x~u) <-> B(x~p) A(x),B(x) <-> A(x!1),B(x!1) A(x~p),B(x~p) -> A(x~p!1),B(x~p!1) %init: 100000*A(x~u) %init: 100000*B(x~u) %obs:A(x~p!_)