1 2
concrete ConjunctionIta of Conjunction = CatIta ** ConjunctionRomance with (ResRomance = ResIta) ;