I think a counting operator (like `Exists`) is necessary for such examples: - How many films did Ingmar Bergman make? - How many children does Barack Obama have? - How many countries are there in Europe?