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