Logical operators (universal and existential) that express statements about multiple answer sets in ASP(Q).