path: root/deprecated/old-lib/resource/mathematical/PredicationNor.gf

concrete PredicationNor of Predication = CatNor ** PredicationI with
  (Syntax = SyntaxNor),
  (Lang = LangNor) ;