Query    { ( U x ) |   ( atr:x e 1) &  ( $ l:y e x )  ( ( l = a ) ! ( l = b ) )  }

              This query in Lisp-notation

Result