concrete ConjunctionKam of Conjunction = CatKam ** ConjunctionBantu with
 (ResBantu = ResKam);