module refs

sig A {
        r : B -> C -> D,
        s : B -> C -> D
}
sig B {}
sig C {}
sig D {}

fact {
        {a : A, c : C, b : B, d : D | a -> b -> c -> d in r} in ({a1 : A, c1 : C, b1 : B, d1 : D| a1 -> b1 -> c1 -> d1 in s}.D).B -> B -> D
}