a compilable stub of PhrasebookJpn. Sent to a native speaker expert for completions.

This commit is contained in:
aarne
2014-11-15 09:43:15 +00:00
parent 6bb2e2c1d0
commit 02daef144c
5 changed files with 389 additions and 2 deletions

View File

@@ -210,8 +210,8 @@ oper
placeNP : Det -> CNPlace -> NPPlace = \det,kind ->
let name : NP = mkNP det kind.name in {
name = name ;
at = mkAdv kind.at name ;
to = mkAdv kind.to name
at = Syntax.mkAdv kind.at name ;
to = Syntax.mkAdv kind.to name
} ;
NPPerson : Type = {name : NP ; isPron : Bool ; poss : Quant} ;