1 2 3 4
concrete PredicationDan of Predication = CatDan ** PredicationI with (Syntax = SyntaxDan), (Lang = LangDan) ;