Query    q = { l:x e ( TC 1) |  [ (l:x e 1) & ( ( l = a ) ! ( l = b ) ) ]  !

                                              [ ( $l':y e q ) ( l:x e y) &

                                                                   ( ( l = a ) ! ( l = b ) ) ]  }

               This query in Lisp-notation

Result