Refactoring / generatlisation of greedy quanitfiers