class (Language cid, Typeable cid, Logic lid1 sublogics1 basic_spec1 sentence1 symb_items1 symb_map_items1 sign1 morphism1 symbol1 raw_symbol1 proof_tree1, Logic lid2 sublogics2 basic_spec2 sentence2 symb_items2 symb_map_items2 sign2 morphism2 symbol2 raw_symbol2 proof_tree2) => Comorphism cid lid1 sublogics1 basic_spec1 sentence1 symb_items1 symb_map_items1 sign1 morphism1 symbol1 raw_symbol1 proof_tree1 lid2 sublogics2 basic_spec2 sentence2 symb_items2 symb_map_items2 sign2 morphism2 symbol2 raw_symbol2 proof_tree2 | cid -> lid1, cid -> lid2, cid -> sublogics1, cid -> basic_spec1, cid -> sentence1, cid -> symb_items1, cid -> symb_map_items1, cid -> sign1, cid -> morphism1, cid -> symbol1, cid -> raw_symbol1, cid -> proof_tree1, cid -> sublogics2, cid -> basic_spec2, cid -> sentence2, cid -> symb_items2, cid -> symb_map_items2, cid -> sign2, cid -> morphism2, cid -> symbol2, cid -> raw_symbol2, cid -> proof_tree2 where |