add whoSg_IP

2026-06-28 04:16:30 -06:00 · 2022-01-04 13:16:26 +08:00
parent a310e38904
commit a1a5f84708
3 changed files with 20 additions and 6 deletions
@@ -60,6 +60,13 @@ oper
    empty = []
    } ;

+  mkIP : Str -> IPhrase = \str -> {
+    s = \\_ => str ;
+    a = NotPron ;
+    empty = [] ;
+    sp = \\_ => str ;
+  } ;
+
 --------------------------------------------------------------------------------
 -- Det, Quant, Card, Ord