Description: Pump replacement mode; Name: Replacement mode
Description: exchange mode of the pump; Name: exchange mode
Description: Quantitative statement about the set of cylinders; Name: Number of cylinders