German and Dutch adjectives with -er corrected

This commit is contained in:
aarne
2010-08-23 07:43:58 +00:00
parent f2308d174f
commit 62e687869e
5 changed files with 53 additions and 10 deletions

View File

@@ -29,13 +29,13 @@ incomplete resource Combinators = open Cat, Structural, Constructors in {
--2 Function application
app : overload {
app : N -> NP ;
app : N2 -> NP -> NP ;
app : N3 -> NP -> NP -> NP ;
app : N2 -> NP -> NP -> NP ;
app : N2 -> N -> CN ;
app : overload {
app : N -> NP ; -- the bottom
app : N2 -> NP -> NP ; -- the successor of x
app : N3 -> NP -> NP -> NP ; -- the distance from x to y
app : N2 -> NP -> NP -> NP ; -- the sum of x and y
app : N2 -> N -> CN ; -- set of integers
app : N2 -> NP -> CN ; -- divisor of x
app : N3 -> NP -> NP -> CN ; -- path from x to y
app : N2 -> NP -> NP -> CN ; -- path between x and y