Query: (exists (x – Asset          l1 l2 – (Tup Float Float)    (and (location USSCole l1)         (nearby x l2 l1)         (not (belongs x US))))