Annotation Type PolyLowerBound