Invia SMS: Constraints and wishes in quantified queries merged by asymmetric conjunction