concrete ExtraSwa of ExtraSwaAbs = CatSwa ** 
  open ResSwa, Coordination, Prelude, MorphoSwa in {

  lin that1_Quant = {s = \\n,nc,g => mkQuant SpHr n nc g P3} ;

}