new extra Chi constructions for HSK

2026-06-26 11:36:27 -06:00 · 2013-10-09 09:52:42 +00:00
parent 00d2574241
commit d67ef3b98c
5 changed files with 8 additions and 2 deletions
@@ -52,4 +52,7 @@ concrete ExtraChi of ExtraChiAbs = CatChi **
          in
          cl.np ++ cl.vp.prePart ++ verb ++ cl.vp.compl
      } ;
+
+  TopicAdvCl adv cl = mkClause (adv.s ++ cl.np) cl.vp ;
+
 }