<<Task Specification>> atprsAction {Analysis}
Declarations