import "StandardLibrary"

s1 = [1,2,3]
s2 = [1,3] 
    
main = do
    C ?x :-
        ?x <- s1
        <!> ?x <- s2
    select ?x where C ?x
--
[2]