var2domain X countries W subregions Z regions Y countries K countries
r0:1:locatedInCS(X,W), locatedInSR(W,Z) -> locatedInCR(X,Z)
r1:1:neighborOf(X,Y), neighborOf(Y,K), locatedInCR(K,Z) -> locatedInCR(X,Z)
