Parsing counting constraints.