module name

sig Name {}

sig A {
        a : lone Name,
        a1 : set Name
}

sig B {
        b : set Name
}

sig N in Name {}

fact {
        N in A.a
        N in B.b
        A in a.Name
        B in b.Name
        Name in A.a + B.b
        --a1 in a.Name -> A.a
        a1 in a
}