concrete ConjunctionKis of Conjunction = CatKis ** ConjunctionBantu with
 (ResBantu = ResKis);