concrete RelativeSwa of Relative = CatSwa ** open ResSwa in {

  
}