aarne
|
a3bda949bd
|
contractions of auxiliaries and negations in PredicationEng
|
2014-02-04 07:46:43 +00:00 |
|
aarne
|
e033f4cd82
|
PredicationEng except auxiliary in questions and agreement of copula. Swe is so much simpler...
|
2014-02-03 18:41:32 +00:00 |
|
aarne
|
dcbb7c54c3
|
PredicationEng now almost a functor with Swe ; details to be fixed on e.g. aux/non-aux V distinction
|
2014-02-03 14:04:04 +00:00 |
|
aarne
|
873993d46a
|
VP coordination, focus in QCl in Predication. Swe is close to correct but in Eng details with auxiliaries have to be fixed.
|
2014-01-24 13:57:44 +00:00 |
|
aarne
|
9b3c8b8365
|
testing Predication with Swe
|
2014-01-23 21:20:52 +00:00 |
|
aarne
|
2bfcabc25d
|
generalized some types in Predication so that the same fun's now cover slash propagation ("who does she force us to love") as well
|
2014-01-23 17:50:30 +00:00 |
|
aarne
|
0b9ca96ef6
|
experimental Predication with dependent types - promising, but far from finished
|
2014-01-23 16:12:28 +00:00 |
|