concrete ConjunctionSwa of Conjunction = CatSwa ** ConjunctionBantu with
 (ResBantu = ResSwa);