/*  Copyright (C) Wolfgang Menzel, Universität Hamburg, 2003-06-27

    This program is free software; you can redistribute it and/or
    modify it under the terms of the GNU General Public License
    as published by the Free Software Foundation; either version 2
    of the License, or (at your option) any later version.
*/

:- use_module(instance_diag).
:- nl.
:- write_ln('a simple instance-based system with error anticipation').
:- write_ln('subject-verb agreement in simple sentences').
:- nl.

exercise(agreement1a,'Build a sentence using the following words.').

item(agreement1a,1,'Mary, sleep',
  [[[mary, sleeps]],
   [[mary, slept]],
   [[mary, will, sleep]],
   [[mary, is, sleeping]],
   [[mary, was, sleeping]],
   [[mary, sleep],agree],
   [[mary, sleeping],progressive],
   [[sleeps, mary],subject_first]]).

item(agreement1a,2,'I, drink',
  [[[i, drink]],
   [[i, drank]],
   [[i, will, drink]],
   [[i, am, drinking]],
   [[i, was, drinking]],
   [[i, drinks],agree],
   [[i, drinking],progressive],
   [[drink, i],subject_first]]).

item(agreement1a,3,'he, walk',
  [[[he, walks]],
   [[he, walked]],
   [[he, will, walk]],
   [[he, is, walking]],
   [[he, was, walking]],
   [[he, walk],agree],
   [[he, walking],progressive],
   [[walks,he],subject_first]]).

item(agreement1a,4,'they, dance',
  [[[they, dance]],
   [[they, danced]],
   [[they, will, dance]],
   [[they, are, dancing]],
   [[they, were, dancing]],
   [[they, dances],agree],
   [[they, dancing],progressive],
   [[dance, they],subject_first]]).

message(agreement1a,agree,
   'Subject and Predicate must agree in person and number').
message(agreement1a,subject_first,'The subject must precede the verb.').
message(agreement1a,progressive,
   'The progressive tense requires a complex verb group.').

:- do_exercise(agreement1a).