abstract ExtraPolAbs = Cat, Extra [Pron,ProDrop] ** 
{}