concrete VerbSwa of Verb = CatSwa ** open ResSwa in { flags optimize=all_subs ; lin UseV = predV ; }