Qualifier
Name
Name
Quasi
ast
qual
Project
Select
Project
Select
This
Project
Select
quants
Existential
Lambda
Existential
Lambda