concrete RelativeSwa of Relative = CatSwa ** RelativeBantu with
 (ResBantu = ResSwa);