Multiple conditions

Support multiple conditions for aggregates and existential elements