/*  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('tense in simple sentences').
:- nl.

exercise(tense1,'Build an appropriately tensed sentence using
the following words.').

item(tense1,1,'he, be, at, home, yesterday',
   [[[yesterday, he, was, at, home]],
    [[yesterday, at, home, he, was]],
    [[he, was, at, home, yesterday]],
    [[yesterday, he, is, at, home],[tense,past_tense,past_was]],
    [[yesterday, he, will, be, at, home],[tense,past_tense,past_was]],
    [[he, is, at, home, yesterday],[tense,past_tense,past_was]],
    [[he, will, be, at, home, yesterday],[tense,past_tense,past_was]],
    [[he, will, yesterday, be, at, home],[vg_together,adv_peripheral]],
    [[he, will, yesterday, at, home, be],[vg_together,adv_peripheral]]]).

item(tense1,2,'he, be, at, school, tomorrow',
   [[[tomorrow, he, will, be, at, school]],
    [[he, will, be, at, school, tomorrow]],
    [[tomorrow, he, is, at, home],[tense,future_tense,future_will_be]],
    [[tomorrow, he, was, at, home],[tense,future_tense,future_will_be]],
    [[he, is, at, home, tomorrow],[tense,future_tense,future_will_be]],
    [[he, was, at, home, tomoroow],[tense,future_tense,future_will_be]],
    [[he, will, yesterday, be, at, home],[vg_together,adv_peripheral]],
    [[he, will, yesterday, at, home, be],[vg_together,adv_peripheral]]]).

item(tense1,3,'he, read, now',
   [[[now, he, is, reading]],
    [[he, is, reading, now]],
    [[he, was, reading, now],[tense,present_tense,present_is]],
    [[he, reads, now],[progressive,progressive_ing]],
    [[he, will, read, now],[tense,present_tense]],
    [[he, will, be, reading, now],[tense,present_tense,present_is]]]).

message(tense1,tense,'The tense of the auxiliary is not appropriate').
message(tense1,past_tense,'When talking about yesterday you should use the
past tense form.').
message(tense1,past_was,'The past tense of ''to be'' is ''was''').
message(tense1,vg_together,'The member s of the verb group should not
be separated by local or temporal adjuncts.').
message(tense1,adv_peripheral,'Temporal or local adverbials
have to be placed at the beginning or the end of a sentence.').
message(tense1,future_tense,'When talking about tomorrows you should
use the future tense form.').
message(tense1,future_will_be,'The future tense of ''to be'' is ''will be''').

message(tense1,progressive,'Use the progressive form for events
currently going on').
message(tense1,progressive,'The progressive form is constructed
using the suffix ''-ing'' and an appropriate form of ''to be''').

:- do_exercise(tense1).