<<Task Specification>> pomMeasure {Analysis}