%            Riassunto del Corso d'Italiano Approfondito 1
%              (c) 2004-02-11 Fabian M. Suchanek
%
%         (English version of the following abstract below)
%
% Questo e' un riassunto del corso d'italiano approfondito
% "Italienisch, Vertiefung 1" dato da Signorina Tatiana Bisanti
% nell'iverno 2003 all'universita' del Saarland. Questo testo e'
% un programma di PROLOG, che conosce i vocaboli e regole grammatiche
% che abbiamo imparato nel corso:
% * l'indicativo, futuro, imperfetto, perfetto e passato prossimo
% * il congiuntivo
% * i pronomi "quale", "che" e "cui"
% * i pronomi combinati ("glielo" ecc.)
% * il gerundio
%
% Il programma accetta e produce delle frasi similari alle seguenti
% (colla profondita' tipica per i programmi di PROLOG):
%
%  "voglio che tu faccia il compito"
%  "il compito il quale scriverò dorme"
%  ...
%
% Mancano ancora
% * il passivo
% * il condizionale
% * i verbi reflessivi
% * gli aggettivi e avverbi
% * congiunzioni e preposizioni
%
% Il programnma fiunziona bene, pero' avra' bisogno di una
% ristrutturazione.
%
% Leggiando questo testo, il lettore accetta che l'autore non
% e' responsabile per la giustezza o la completezza del testo.
% Se qualcuno trova uno sbaglio, sarei lieto di saperlo
% (f.m.suchanek@zweb.de (remove the letter 'z')). Solo cosi' posso anch'io profitare della
% pubblicazione di questo riassunto.
%
%            --------------
%
% This is a summary of the advanced Italian course "Italienisch,
% Vertiefung 1" held by Tatiana Bisanti in the WS 2003 at Saarland
% University. This text is a PROLOG program, which supports the
% vocabulatory and gramatical rules which we learned in class:
% * the indicative, future, imperfect, perfect and plusquamperfect forms
% * the conjunctive form
% * the pronouns "quale", "che" and "cui"
% * the combined pronouns ("glielo" etc.)
% * the gerund
%
% The program accepts and produces phrases similar to the following
% ones (with the profundity inherent to PROLOG programs):
%
%  "voglio che tu faccia il compito"
%  "il compito il quale scriverò dorme"
%  ...
%
% The following is still missing
% * the passive voice
% * the conditional
% * reflexive verbs
% * adjectives and adverbs
% * conjunctions and prepositions
%
% The program works well, but it should be restructured and made
% cleaner.
%
% By reading the following text, you accept that the author does not
% accept any responsibility for the correctness or completeness of
% this text. If you have any corrections or remarks, please
% mail me at f.m.suchanek@zweb.de (remove the letter 'z') . This is the only way
% to make the publication of this summary useful for me, too.


% ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
%             Frasi
% ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

s(X) :- s(X,"").

% Frasi con un complemento gerundivo
  % Permettiamo queste frasi soltanto sul nivello della frase principale
  % per evitare una recursione infinita
s -->
      np(Genere, Persona, Numero, trovilo)," ",
      vp(Genere, Persona, Numero, con(trovilo, trovilo), indicativo)," ",
      vp(Genere, Persona, Numero, con(trovilo, trovilo), gerundivo).
s --> pronNom(Genere, Persona, Numero)," ",
      vp(Genere, Persona, Numero, con(trovilo, trovilo), indicativo)," ",
      vp(Genere, Persona, Numero, con(trovilo, trovilo), gerundivo).
s --> vp(Genere, Persona, Numero, con(trovilo, trovilo), indicativo)," ",
      vp(Genere, Persona, Numero, con(trovilo, trovilo), gerundivo).

% Frasi Imperative
s --> vp(Genere, 2, s, con(trovilo, trovilo), imperativo).
s --> vp(Genere, 3, s, con(trovilo, trovilo), imperativo).
s --> vp(Genere, 2, p, con(trovilo, trovilo), imperativo).
s --> vp(Genere, 3, p, con(trovilo, trovilo), imperativo).

% Frasi con un soggetto complesso
  % Permettiamo questi soggetti soltanto sul nivello della frase principale
  % per evitare una recursione infinita
s -->
      xnp(Genere, Persona, Numero, trovilo)," ",
      vp(Genere, Persona, Numero, con(trovilo, trovilo), indicativo).

% Frasi normali
s --> s(con(trovilo, trovilo), indicativo).

% Frasi con un soggetto
s(Con, Modo) -->
      np(Genere, Persona, Numero, trovilo)," ",
      vp(Genere, Persona, Numero, Con, Modo).

% Frasi con un pronome come soggetto
s(Con, Modo) -->
      pronNom(Genere, Persona, Numero)," ",
      vp(Genere, Persona, Numero, Con, Modo).

% Frasi senza soggetto
s(Con, Modo) -->
      vp(Genere, Persona, Numero, Con, Modo).


% ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
%            VP's
% ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

% Verbi con infinitivo
vp(Genere, Persona, Numero, con(trovilo, Trovilo), Modo) -->
    {Modo \= gerundivo, Modo \= infinitivo},
    vpx(oggetti(infinitivo), accordo(Genere,Persona,Numero), accordo(m,3,s), Modo), " ",
    vp(m,3,s,con(trovilo,Trovilo),infinitivo).

% Verbi con "di"
vp(Genere, Persona, Numero, con(trovilo, trovilo), Modo) -->
    {Modo \= gerundivo, Modo \= infinitivo},
    vpx(oggetti(diInfinitivo,_), accordo(Genere,Persona,Numero), accordo(m,3,s), Modo),
    " di ",
    vp(m,3,s,con(trovilo,trovilo),infinitivo).

vp(Genere, Persona, Numero, con(trovilo, trovilo), Modo) -->
    {Modo \= gerundivo, Modo \= infinitivo},
    pronDat(GenereOggetto, PersonaOggetto, NumeroOggetto)," ",
    vpx(oggetti(diInfinitivo,indiretto), accordo(Genere,Persona,Numero), accordo(m,3,s), Modo),
    " di ",
    vp(m,3,s,con(trovilo,trovilo),infinitivo).

% Verbi senza oggetto indiretto e senza oggetto diretto
vp(Genere, Persona, Numero, con(trovilo, trovilo), Modo) -->
     vpx(oggetti(no,no), accordo(Genere,Persona,Numero), accordo(m,3,s), Modo).

% Verbi senza oggetto indiretto, ma con oggetto diretto
vp(Genere, Persona, Numero, con(trovilo, Trovato), Modo) -->
     vpx(oggetti(diretto,no), accordo(Genere, Persona, Numero), accordo(m,3,s), Modo)," ",
     np(_,_,_,Trovato).

vp(Genere, Persona, Numero, con(trovilo, trovilo), Modo) -->
     {Modo \= gerundivo, Modo \= infinitivo},
     pronAcc(GenereOggetto, PersonaOggetto, NumeroOggetto)," ",
     vpx(oggetti(diretto,no), accordo(Genere, Persona, Numero),
                              accordo(GenereOggetto, PersonaOggetto, NumeroOggetto), Modo).

vp(Genere, Persona, Numero, con(trovilo, trovilo), gerundivo) -->
     vpx(oggetti(diretto,no), accordo(Genere, Persona, Numero),
                            accordo(GenereOggetto, PersonaOggetto, NumeroOggetto), gerundivo),
     pronAcc(GenereOggetto, PersonaOggetto, NumeroOggetto).

% Verbi con oggetto indiretto, ma senza oggetto diretto
vp(Genere, Persona, Numero, con(trovilo, trovilo), Modo) -->
     {Modo \= gerundivo, Modo \= infinitivo},
     pronDat(GenereOggetto, PersonaOggetto, NumeroOggetto)," ",
     vpx(oggetti(no,indiretto), accordo(Genere, Persona, Numero), accordo(m,3,s), Modo).

vp(Genere, Persona, Numero, con(trovilo, trovilo), gerundivo) -->
     vpx(oggetti(no,indiretto), accordo(Genere, Persona, Numero), accordo(m,3,s), gerundivo),
     pronDat(GenereOggetto, PersonaOggetto, NumeroOggetto).

vp(Genere, Persona, Numero, con(trovato, trovilo), Modo) -->
     vpx(oggetti(no,indiretto), accordo(Genere, Persona, Numero), accordo(m,3,s), Modo).

% Verbi con oggetto indiretto e con oggetto diretto
vp(Genere, Persona, Numero, con(trovilo, trovilo), Modo) -->
     {Modo \= gerundivo, Modo \= infinitivo},
     pronDatAcc(oggettoIndiretto(_,_,_),
                oggettoDiretto(GenereOggetto, PersonaOggetto, NumeroOggetto))," ",
     vpx(oggetti(diretto,indiretto), accordo(Genere, Persona, Numero),
                                  accordo(GenereOggetto, PersonaOggetto, NumeroOggetto),
                                  Modo).

vp(Genere, Persona, Numero, con(trovilo, trovilo), gerundivo) -->
     vpx(oggetti(diretto,indiretto), accordo(Genere, Persona, Numero),
                                  accordo(GenereOggetto, PersonaOggetto, NumeroOggetto),
                                  gerundivo),
     pronDatAcc(oggettoIndiretto(_,_,_),
                oggettoDiretto(GenereOggetto, PersonaOggetto, NumeroOggetto)).


vp(Genere, Persona, Numero, con(trovilo, Trovato), Modo) -->
     {Modo \= gerundivo, Modo \= infinitivo},
     pronDat(GenereOggetto, PersonaOggetto, NumeroOggetto)," ",
     vpx(oggetti(diretto,indiretto), accordo(Genere, Persona, Numero), accordo(m,3,s), Modo)," ",
     np(_,_,_,Trovato).

vp(Genere, Persona, Numero, con(trovilo, Trovato), gerundivo) -->
     vpx(oggetti(diretto,indiretto), accordo(Genere, Persona, Numero), accordo(m,3,s), Modo)," ",
     pronDat(GenereOggetto, PersonaOggetto, NumeroOggetto),    " ",
     np(_,_,_,Trovato).

vp(Genere, Persona, Numero, con(trovato, Trovato), Modo) -->
     vpx(oggetti(diretto,indiretto), accordo(Genere, Persona, Numero), accordo(m,3,s), Modo)," ",
     np(_,_,_,Trovato).

% Verbi con una frase secondaria in congiuntivo
vp(Genere, Persona, Numero, con(trovilo, trovilo), Modo) -->
     vpx(oggetti(cheCongiuntivo,_), accordo(Genere, Persona, Numero), accordo(m,3,s), Modo),
     " che ",
     s(con(trovilo, trovilo), congiuntivo).

vp(Genere, Persona, Numero, con(trovilo, trovilo), Modo) -->
     pronDat(GenereOggetto, PersonaOggetto, NumeroOggetto), " ",
     vpx(oggetti(cheCongiuntivo, indiretto), accordo(Genere, Persona, Numero), accordo(m,3,s), Modo),
     " che ",
     s(con(trovilo, trovilo), congiuntivo).

% Verbi con una frase secondaria in indicativo
vp(Genere, Persona, Numero, con(trovilo, trovilo), Modo) -->
     vpx(oggetti(cheIndicativo,_), accordo(Genere, Persona, Numero), accordo(m,3,s), Modo),
     " che ",
     s(con(trovilo, trovilo), indicativo).

vp(Genere, Persona, Numero, con(trovilo, trovilo), Modo) -->
     {Modo \= gerundivo, Modo \= infinitivo},
     pronDat(GenereOggetto, PersonaOggetto, NumeroOggetto),    " ",
     vpx(oggetti(cheIndicativo, indiretto), accordo(Genere, Persona, Numero), accordo(m,3,s), Modo),
     " che ",
     s(con(trovilo, trovilo), indicativo).

vp(Genere, Persona, Numero, con(trovilo, trovilo), gerundivo) -->
     vpx(oggetti(cheIndicativo, indiretto), accordo(Genere, Persona, Numero), accordo(m,3,s), gerundivo),
     pronDat(GenereOggetto, PersonaOggetto, NumeroOggetto),
     " che ",
     s(con(trovilo, trovilo), indicativo).

% ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
%            NP's
% ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

% NP's che sono già trovato
np(_,_,_,trovato) --> "".

% NP's normali
np(Genere, 3, Numero,trovilo) -->
     artNom(Genere, Numero, Vocale)," ",
     nx(Vocale,Genere, Numero).

% NP's con un pronome possessivo
np(Genere, 3, Numero,trovilo) -->
     artNom(Genere, Numero, no)," ",
     pronGen(accordo(_,_,_), accordo(Genere, Numero))," ",
     nx(_, Genere, Numero).

% Pronomi relativi in nominativo
xnp(Genere, 3, Numero ,trovilo) -->
     np(Genere, 3, Numero,trovilo)," ",
     artNom(Genere, Numero, no)," ",
     pronRel(Genere, Numero)," ",
     vp(Genere, 3, Numero, con(trovilo, trovilo), indicativo).

xnp(Genere, 3, Numero,trovilo) -->
     np(Genere, 3, Numero,trovilo),
     " che ",
     vp(Genere, 3, Numero, con(trovilo, trovilo), indicativo).

% Pronomi relativi in dativo
xnp(Genere, 3, Numero,trovilo) -->
     np(Genere, 3, Numero,trovilo)," ",
     artDat(Genere, Numero,no), " ",pronRel(Genere, Numero)," ",
     s(con(trovato, trovilo), indicativo).
xnp(Genere, 3, Numero,trovilo) -->
     np(Genere, 3, Numero,trovilo),
     " a cui ",
     s(con(trovato, trovilo), indicativo).

% Pronomi relativi in accusativo
xnp(Genere, 3, Numero,trovilo) -->
     np(Genere, 3, Numero,trovilo)," ",
     artNom(Genere, Numero,no), " ",pronRel(Genere, Numero)," ",
     s(con(trovilo, trovato), indicativo).

xnp(Genere, 3, Numero,trovilo) -->
     np(Genere, 3, Numero,trovilo),
     " che ",
     s(con(trovilo, trovato), indicativo).

% ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
%            Sostantivi
% ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

nx(Vocale,m,s) --> n(Vocale, 1,m), "o".
nx(Vocale,m,p) --> n(Vocale, 1,m), "i".
nx(Vocale,m,s) --> n(Vocale, i1,m), "o".
nx(Vocale,m,p) --> n(Vocale, i1,m).
nx(Vocale,f,s) --> n(Vocale, 1,f), "a".
nx(Vocale,f,p) --> n(Vocale, 1,f), "e".
nx(Vocale,Genere,s) --> n(Vocale, 2,Genere), "e".
nx(Vocale,Genere,p) --> n(Vocale, 2,Genere), "i".
nx(Vocale,Genere,Numero) --> n(Vocale, atomico,Genere).

% ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
%            Articoli e Pronomi
% ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

% Articoli
artNom(m,s,no) --> "il".
artNom(f,s,no) --> "la".
artNom(m,p,no) --> "i".
artNom(f,p,_) --> "le".
artNom(_,s,vocale) --> "l'".
artNom(m,p,vocale) --> "gli".
artNom(m,s,impuro) --> "lo".
artNom(m,p,impuro) --> "gli".
artNom(m,s,no) --> "un".
artNom(f,s,no) --> "una".
artNom(m,p,no) --> "dei".
artNom(f,p,_) --> "delle".
artNom(_,s,vocale) --> "un'".
artNom(m,p,vocale) --> "degli".
artNom(m,s,impuro) --> "uno".
artNom(m,p,impuro) --> "degli".
artDat(m,s,no) --> "al".
artDat(f,s,no) --> "alla".
artDat(m,p,no) --> "ai".
artDat(f,p,_) --> "alle".
artDat(_,s,vocale) --> "all'".
artDat(m,p,vocale) --> "agli".
artDat(m,s,impuro) --> "allo".
artDat(m,p,impuro) --> "agli".


% Pronomi relativi
pronRel(_,s) --> "quale".
pronRel(_,p) --> "quali".

% Pronomi in nominativo
pronNom(m     , 3, s) --> "si". %(la gente)
pronNom(Genere, 1, s) --> "io".
pronNom(Genere, 2, s) --> "tu".
pronNom(m     , 3, s) --> "lui".
pronNom(f     , 3, s) --> "lei".
pronNom(Genere, 1, p) --> "noi".
pronNom(Genere, 2, p) --> "voi".
pronNom(Genere, 3, p) --> "loro".

% Pronomi in genitivo
 pronGen(accordo(Genere, 1, s), accordo(m,p)) --> "miei".
pronGen(accordo(Genere, 1, s), Oggetto) --> "mi", pronGenSuff(Oggetto).
pronGen(accordo(Genere, 2, s), Oggetto) --> "tu", pronGenSuff(Oggetto).
pronGen(accordo(Genere, 3, s), Oggetto) --> "su", pronGenSuff(Oggetto).
pronGen(accordo(Genere, 1, p), Oggetto) --> "nostr", pronGenSuff(Oggetto).
pronGen(accordo(Genere, 2, p), Oggetto) --> "vostr", pronGenSuff(Oggetto).
pronGen(accordo(Genere, 3, p), Oggetto) --> "loro".

pronGenSuff(accordo(m,s)) --> "o".
pronGenSuff(accordo(f,s)) --> "a".
pronGenSuff(accordo(m,p)) --> "oi".
pronGenSuff(accordo(f,p)) --> "e".

% Pronomi in dativo
pronDat(Genere, 1, s) --> "mi".
pronDat(Genere, 2, s) --> "ti".
pronDat(m     , 3, s) --> "gli".
pronDat(f     , 3, s) --> "le".
pronDat(Genere, 1, p) --> "ci".
pronDat(Genere, 2, p) --> "vi".
pronDat(Genere, 3, p) --> "gli".

% Pronomi in accusativo
pronAcc(Genere, 1, s) --> "mi".
pronAcc(Genere, 2, s) --> "ti".
pronAcc(m     , 3, s) --> "lo".
pronAcc(f     , 3, s) --> "la".
pronAcc(Genere, 1, p) --> "ci".
pronAcc(Genere, 2, p) --> "vi".
pronAcc(m     , 3, p) --> "li".
pronAcc(f     , 3, p) --> "le".

% Pronomi combinando dativo ed accusativo
pronDatAcc(oggettoIndiretto(_,1,s),oggettoDiretto(Genere, 3, Numero)) --> "me ", pronAcc(Genere, 3, Numero).
pronDatAcc(oggettoIndiretto(_,2,s),oggettoDiretto(Genere, 3, Numero)) --> "te ", pronAcc(Genere, 3, Numero).
pronDatAcc(oggettoIndiretto(_,3,_),oggettoDiretto(Genere, 3, Numero)) --> "glie", pronAcc(Genere, 3, Numero).
pronDatAcc(oggettoIndiretto(_,1,s),oggettoDiretto(Genere, 3, Numero)) --> "ce ", pronAcc(Genere, 3, Numero).
pronDatAcc(oggettoIndiretto(_,2,s),oggettoDiretto(Genere, 3, Numero)) --> "ve ", pronAcc(Genere, 3, Numero).

% ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
%            Tempi dei verbi
% ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

% Infinitivo
vpx(Oggetti, Soggetto, Oggetto, infinitivo) --> v(participio(_),Oggetti, Soggetto, infinitivo).

% Presente
vpx(Oggetti, Soggetto, Oggetto, indicativo) --> v(participio(_),Oggetti, Soggetto, presente).

% Futuro
vpx(Oggetti, Soggetto, Oggetto, indicativo) --> v(participio(_),Oggetti, Soggetto, futuro).

% Passato
vpx(Oggetti, Soggetto, Oggetto, indicativo) -->
  avere(Soggetto, presente), " ",v(participio(avere),Oggetti, Oggetto, participio).
vpx(Oggetti, Soggetto, Oggetto, indicativo) -->
  essere(Soggetto, presente), " ",v(participio(essere),Oggetti, Oggetto, participio).
vpx(Oggetti, Soggetto, Oggetto, congiuntivo) -->
  avere(Soggetto, congiuntivo), " ",v(participio(avere),Oggetti, Oggetto, participio).
vpx(Oggetti, Soggetto, Oggetto, congiuntivo) -->
  essere(Soggetto, congiuntivo), " ",v(participio(essere),Oggetti, Soggetto, participio).

% Imperfetto
vpx(Oggetti, Soggetto, Oggetto, indicativo) -->
  v(participio(_),Oggetti, Soggetto, imperfetto).

% Trapassato prossimo
vpx(Oggetti, Soggetto, Oggetto, indicativo) -->
  avere(Soggetto, imperfetto), " ",v(participio(avere),Oggetti, Oggetto, participio).
vpx(Oggetti, Soggetto, Oggetto, indicativo) -->
  essere(Soggetto, imperfetto), " ",v(participio(essere),Oggetti, Soggetto, participio).

% Congiuntivo
vpx(Oggetti, Soggetto, Oggetto, congiuntivo) --> v(participio(_),Oggetti, Soggetto, congiuntivo).

% Imperativo
vpx(Oggetti, accordo(Genere,2,p), Oggetto, imperativo) -->
   v(participio(_),Oggetti, accordo(Genere,2,p), indicativo).
vpx(Oggetti, accordo(Genere,3,s), Oggetto, imperativo) -->
   v(participio(_),Oggetti, accordo(Genere,3,s), congiuntivo).
vpx(Oggetti, accordo(Genere,3,p), Oggetto, imperativo) -->
   v(participio(_),Oggetti, accordo(Genere,3,p), congiuntivo).

% Gerdundivo
vpx(Oggetti, Soggetto, Oggetto, gerundivo) -->
   v(participio(_),Oggetti, Soggetto, gerundio).

% ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
%            Presente dei verbi
% ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

% stare
v(participio(essere),oggetti(no,no    ), Soggetto, presente) --> stare(Soggetto, presente).
stare(accordo(_,1,s), presente) --> "sto".
stare(accordo(_,2,s), presente) --> "stai".
stare(accordo(_,3,s), presente) --> "sta".
stare(accordo(_,1,p), presente) --> "stiamo".
stare(accordo(_,2,p), presente) --> "state".
stare(accordo(_,3,p), presente) --> "stanno".
% andare
v(participio(essere),oggetti(no,no    ), Soggetto, presente) --> andare(Soggetto, presente).
andare(accordo(_,1,s), presente) --> "vado".
andare(accordo(_,2,s), presente) --> "vai".
andare(accordo(_,3,s), presente) --> "va".
andare(accordo(_,1,p), presente) --> "andiamo".
andare(accordo(_,2,p), presente) --> "andate".
andare(accordo(_,3,p), presente) --> "vadono".
% venire
v(participio(essere),oggetti(no,no    ), Soggetto, presente) --> venire(Soggetto, presente).
venire(accordo(_,1,s), presente) --> "vengo".
venire(accordo(_,2,s), presente) --> "vieni".
venire(accordo(_,3,s), presente) --> "viene".
venire(accordo(_,1,p), presente) --> "veniamo".
venire(accordo(_,2,p), presente) --> "venite".
venire(accordo(_,3,p), presente) --> "vengono".
% rimanere
v(participio(essere),oggetti(no,no    ), Soggetto, presente) --> rimanere(Soggetto, presente).
rimanere(accordo(_,1,s), presente) --> "rimango".
rimanere(accordo(_,2,s), presente) --> "rimani".
rimanere(accordo(_,3,s), presente) --> "rimane".
rimanere(accordo(_,1,p), presente) --> "rimaniamo".
rimanere(accordo(_,2,p), presente) --> "rimanete".
rimanere(accordo(_,3,p), presente) --> "rimangono".
% dare
v(participio(avere),oggetti(diretto, indiretto), Soggetto, presente) --> dare(Soggetto, presente).
dare(accordo(_,1,s), presente) --> "do".
dare(accordo(_,2,s), presente) --> "dai".
dare(accordo(_,3,s), presente) --> "da".
dare(accordo(_,1,p), presente) --> "diamo".
dare(accordo(_,2,p), presente) --> "date".
dare(accordo(_,3,p), presente) --> "danno".
% tenere
v(participio(avere),oggetti(diretto, no), Soggetto, presente) --> tenere(Soggetto, presente).
tenere(accordo(_,1,s), presente) --> "tengo".
tenere(accordo(_,2,s), presente) --> "tieni".
tenere(accordo(_,3,s), presente) --> "tiene".
tenere(accordo(_,1,p), presente) --> "teniamo".
tenere(accordo(_,2,p), presente) --> "tenete".
tenere(accordo(_,3,p), presente) --> "tengono".
% fare
v(participio(avere),oggetti(diretto, _), Soggetto, presente) --> fare(Soggetto, presente).
fare(accordo(_,1,s), presente) --> "faccio".
fare(accordo(_,2,s), presente) --> "fai".
fare(accordo(_,3,s), presente) --> "fa".
fare(accordo(_,1,p), presente) --> "facciamo".
fare(accordo(_,2,p), presente) --> "fate".
fare(accordo(_,3,p), presente) --> "fanno".
% sapere
v(participio(avere),oggetti(cheIndicativo,no), Soggetto, presente) --> sapere(Soggetto, presente).
sapere(accordo(_,1,s), presente) --> "so".
sapere(accordo(_,2,s), presente) --> "sai".
sapere(accordo(_,3,s), presente) --> "sa".
sapere(accordo(_,1,p), presente) --> "sappiamo".
sapere(accordo(_,2,p), presente) --> "sapete".
sapere(accordo(_,3,p), presente) --> "sanno".
% dovere
v(participio(avere),oggetti(infinitivo), Soggetto, presente) --> dovere(Soggetto, presente).
dovere(accordo(_,1,s), presente) --> "devo".
dovere(accordo(_,2,s), presente) --> "devi".
dovere(accordo(_,3,s), presente) --> "deve".
dovere(accordo(_,1,p), presente) --> "dobbiamo".
dovere(accordo(_,2,p), presente) --> "dovete".
dovere(accordo(_,3,p), presente) --> "devono".
% dire
v(participio(avere),oggetti(cheIndicativo,indiretto), Soggetto, presente) --> dire(Soggetto, presente).
dire(accordo(_,1,s), presente) --> "dico".
dire(accordo(_,2,s), presente) --> "dici".
dire(accordo(_,3,s), presente) --> "dice".
dire(accordo(_,1,p), presente) --> "diciamo".
dire(accordo(_,2,p), presente) --> "dite".
dire(accordo(_,3,p), presente) --> "dicono".
% Volere
v(participio(avere),oggetti(cheCongiuntivo,no), Soggetto, presente) --> volere(Soggetto, presente).
v(participio(avere),oggetti(diretto,no    ), Soggetto, presente) --> volere(Soggetto, presente).
volere(accordo(_,1,s), presente) --> "voglio".
volere(accordo(_,2,s), presente) --> "vuoi".
volere(accordo(_,3,s), presente) --> "voule".
volere(accordo(_,1,p), presente) --> "vogliamo".
volere(accordo(_,2,p), presente) --> "volete".
volere(accordo(_,3,p), presente) --> "vogliono".
% Essere
v(participio(avere),oggetti(diretto,no    ), Soggetto, presente) --> essere(Soggetto, presente).
essere(accordo(_,1,s), presente) --> "sono".
essere(accordo(_,2,s), presente) --> "sei".
essere(accordo(_,3,s), presente) --> "è".
essere(accordo(_,1,s), presente) --> "siamo".
essere(accordo(_,2,p), presente) --> "siete".
essere(accordo(_,3,p), presente) --> "sono".
% Avere
v(participio(avere),oggetti(diretto,no    ), Soggetto, presente) --> avere(Soggetto, presente).
avere(accordo(_,1,s), presente) --> "ho".
avere(accordo(_,2,s), presente) --> "hai".
avere(accordo(_,3,s), presente) --> "ha".
avere(accordo(_,1,s), presente) --> "abbiamo".
avere(accordo(_,2,p), presente) --> "avete".
avere(accordo(_,3,p), presente) --> "hanno".
% potere
v(participio(avere),oggetti(infinitivo), Soggetto, presente) --> potere(Soggetto, presente).
potere(accordo(_,1,s), presente) --> "posso".
potere(accordo(_,2,s), presente) --> "puoi".
potere(accordo(_,3,s), presente) --> "può".
potere(accordo(_,1,p), presente) --> "possiamo".
potere(accordo(_,2,p), presente) --> "potete".
potere(accordo(_,3,p), presente) --> "possono".
% Regolari
v(Part, IT, accordo(_,1,s), presente) --> verbo(uso(presente),are,Part, IT), "o".
v(Part, IT, accordo(_,2,s), presente) --> verbo(uso(presente),are,Part, IT), "i".
v(Part, IT, accordo(_,3,s), presente) --> verbo(uso(presente),are,Part, IT), "a".
v(Part, IT, accordo(_,1,p), presente) --> verbo(uso(presente),are,Part, IT), "iamo".
v(Part, IT, accordo(_,2,p), presente) --> verbo(uso(presente),are,Part, IT), "ate".
v(Part, IT, accordo(_,3,p), presente) --> verbo(uso(presente),are,Part, IT), "ano".
v(Part, IT, accordo(_,1,s), presente) --> verbo(uso(presente),ere,Part, IT), "o".
v(Part, IT, accordo(_,2,s), presente) --> verbo(uso(presente),ere,Part, IT), "i".
v(Part, IT, accordo(_,3,s), presente) --> verbo(uso(presente),ere,Part, IT), "e".
v(Part, IT, accordo(_,1,p), presente) --> verbo(uso(presente),ere,Part, IT), "iamo".
v(Part, IT, accordo(_,2,p), presente) --> verbo(uso(presente),ere,Part, IT), "ete".
v(Part, IT, accordo(_,3,p), presente) --> verbo(uso(presente),ere,Part, IT), "ono".
v(Part, IT, accordo(_,1,s), presente) --> verbo(uso(presente),ire,Part, IT), "o".
v(Part, IT, accordo(_,2,s), presente) --> verbo(uso(presente),ire,Part, IT), "i".
v(Part, IT, accordo(_,3,s), presente) --> verbo(uso(presente),ire,Part, IT), "e".
v(Part, IT, accordo(_,1,p), presente) --> verbo(uso(presente),ire,Part, IT), "iamo".
v(Part, IT, accordo(_,2,p), presente) --> verbo(uso(presente),ire,Part, IT), "ite".
v(Part, IT, accordo(_,3,p), presente) --> verbo(uso(presente),ire,Part, IT), "ono".
v(Part, IT, accordo(_,1,s), presente) --> verbo(uso(presente),irex,Part, IT), "isco".
v(Part, IT, accordo(_,2,s), presente) --> verbo(uso(presente),irex,Part, IT), "isci".
v(Part, IT, accordo(_,3,s), presente) --> verbo(uso(presente),irex,Part, IT), "isce".
v(Part, IT, accordo(_,1,p), presente) --> verbo(uso(presente),irex,Part, IT), "iamo".
v(Part, IT, accordo(_,2,p), presente) --> verbo(uso(presente),irex,Part, IT), "ite".
v(Part, IT, accordo(_,3,p), presente) --> verbo(uso(presente),irex,Part, IT), "iscano".

% ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
%            Infinitivo dei verbi
% ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

v(Part, IT, Soggetto, infinitivo) --> verbo(uso(infinitivo),are,Part, IT), "are".
v(Part, IT, Soggetto, infinitivo) --> verbo(uso(infinitivo),ere,Part, IT), "ere".
v(Part, IT, Soggetto, infinitivo) --> verbo(uso(infinitivo),ire,Part, IT), "ire".
v(Part, IT, Soggetto, infinitivo) --> verbo(uso(infinitivo),irex,Part, IT), "ire".

% ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
%            Futuro dei verbi
% ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

% Eccezzioni semplici
v(_,oggetti(diretto,_), Soggetto, futuro) --> "fa", futSuff(Soggetto).
v(_,oggetti(diretto,indiretto), Soggetto, futuro) --> "da", futSuff(Soggetto).
v(_,oggetti(no,     no       ), Soggetto, futuro) --> "sta", futSuff(Soggetto).
v(_,oggetti(diretto,no       ), Soggetto, futuro) --> essere(Soggetto, futuro).
essere(Soggetto, futuro) --> "sa", futSuff(Soggetto).

% Verbi senza 'e'
v(_,oggetti(infinitivo       ), Soggetto, futuro) --> "pot", futSuff(Soggetto). % potere - potrò
v(_,oggetti(cheIndicativo,no ), Soggetto, futuro) --> "sap", futSuff(Soggetto). % sapere - saprò
v(_,oggetti(infinitivo       ), Soggetto, futuro) --> "dov", futSuff(Soggetto). % dovere - dovrò
v(_,oggetti(no,     no       ), Soggetto, futuro) --> "and", futSuff(Soggetto). % andare - andrò
v(_,oggetti(cheIndicativo,no ), Soggetto, futuro) --> "ved", futSuff(Soggetto). % vedere - vedrò
v(_,oggetti(diretto,no       ), Soggetto, futuro) --> "ved", futSuff(Soggetto).
v(_,oggetti(diretto,no       ), Soggetto, futuro) --> avere(Soggetto, futuro).
avere(Soggetto, futuro) --> "av", futSuff(Soggetto).

% Verbi con doppio 'r'
v(_,oggetti(diretto,no       ), Soggetto, futuro) --> "ber", futSuff(Soggetto).   % bere - berrò
v(_,oggetti(no     ,no       ), Soggetto, futuro) --> "rimar", futSuff(Soggetto). % rimanere - rimarrò
v(_,oggetti(diretto,no       ), Soggetto, futuro) --> "ter", futSuff(Soggetto).   % tenere - terrò
v(_,oggetti(no     ,no       ), Soggetto, futuro) --> "ver", futSuff(Soggetto).   % venire - verrò
v(_,oggetti(cheCongiuntivo,no), Soggetto, futuro) --> "vor", futSuff(Soggetto).   % volere - vorrò
v(_,oggetti(diretto,no       ), Soggetto, futuro) --> "vor", futSuff(Soggetto).
% Regolari
v(Part, IT, Soggetto, futuro) --> verbo(uso(futuro),are,Part, IT), "e", futSuff(Soggetto).
v(Part, IT, Soggetto, futuro) --> verbo(uso(futuro),ere,Part, IT), "e", futSuff(Soggetto).
v(Part, IT, Soggetto, futuro) --> verbo(uso(futuro),ire,Part, IT), "i", futSuff(Soggetto).
v(Part, IT, Soggetto, futuro) --> verbo(uso(futuro),irex,Part, IT), "i", futSuff(Soggetto).

% Suffissi
futSuff(accordo(_,1,s)) --> "rò".
futSuff(accordo(_,2,s)) --> "rai".
futSuff(accordo(_,3,s)) --> "rà".
futSuff(accordo(_,1,p)) --> "remo".
futSuff(accordo(_,2,p)) --> "rete".
futSuff(accordo(_,3,p)) --> "ranno".


% ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
%            Congiuntivo dei verbi
% ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

% Eccezzioni semplici
v(_,oggetti(no,     no       ), Soggetto, congiuntivo) --> "vad", conSuff(Soggetto).
v(_,oggetti(cheIndicativo,indiretto), Soggetto, congiuntivo) --> "dic", conSuff(Soggetto).
v(_,oggetti(diretto,_), Soggetto, congiuntivo) --> "facci", conSuff(Soggetto).

% Verbi con 'ia'
v(_,oggetti(cheIndicativo,no    ), Soggetto, congiuntivo) --> "vogl", conSuffia(Soggetto).
v(_,oggetti(cheIndicativo,no    ), Soggetto, congiuntivo) --> "vogl", conSuffia(Soggetto).
v(_,oggetti(diretto,indiretto), Soggetto, congiuntivo) --> "d", conSuffia(Soggetto).
v(_,oggetti(cheIndicativo,no    ), Soggetto, congiuntivo) --> "sapp", conSuffia(Soggetto).
v(_,oggetti(diretto,no       ), Soggetto, congiuntivo) --> essere(Soggetto, congiuntivo).
v(_,oggetti(diretto,no       ), Soggetto, congiuntivo) --> avere(Soggetto, congiuntivo).
essere(Soggetto, congiuntivo) --> "s", conSuffia(Soggetto).
avere(Soggetto, congiuntivo) --> "abb", conSuffia(Soggetto).

% Eccezzioni complesse
v(_,oggetti(infinitivo       ), accordo(_,_,s), congiuntivo) --> "debba".
v(_,oggetti(infinitivo       ), accordo(_,1,p), congiuntivo) --> "dobbiamo".
v(_,oggetti(infinitivo       ), accordo(_,2,p), congiuntivo) --> "dobbiate".
v(_,oggetti(infinitivo       ), accordo(_,3,p), congiuntivo) --> "debbano".
v(_,oggetti(no,     no       ), accordo(_,_,s), congiuntivo) --> "venga".
v(_,oggetti(no,     no       ), accordo(_,1,p), congiuntivo) --> "veniamo".
v(_,oggetti(no,     no       ), accordo(_,2,p), congiuntivo) --> "veniate".
v(_,oggetti(no,     no       ), accordo(_,3,p), congiuntivo) --> "vengano".

% -are, singolare e terza persona plurale
v(Part, IT, accordo(_,_,s), congiuntivo) --> verbo(uso(congiuntivo),are,Part, IT), "i".
v(Part, IT, accordo(_,3,p), congiuntivo) --> verbo(uso(congiuntivo),are,Part, IT), "ino".

% verbi con irex
v(Part, IT, Soggetto, congiuntivo) --> verbo(uso(congiuntivo),irex,Part, IT), "isc", conSuff(Soggetto).

% Regolari
v(Part, IT, accordo(_,Numero,p), congiuntivo) --> {Numero \= 3},verbo(uso(congiuntivo),are,Part, IT), conSuff(Soggetto).
v(Part, IT, Soggetto, congiuntivo) --> verbo(uso(congiuntivo),ere,Part, IT), conSuff(Soggetto).
v(Part, IT, Soggetto, congiuntivo) --> verbo(uso(congiuntivo),ire,Part, IT), conSuff(Soggetto).

% Suffissi regolari
conSuff(accordo(_,_,s)) --> "a".      % derivato della prima persona al singolare
conSuff(accordo(_,1,p)) --> "iamo".   % Sempre lo stesso che in indicativo!
conSuff(accordo(_,2,p)) --> "iate".   %    derivato di ---^
conSuff(accordo(_,3,p)) --> "ano".    %       derivato di -------------------^

% Suffissi per i verbi con 'ia'
conSuffia(accordo(_,_,s)) --> "ia".
conSuffia(accordo(_,1,p)) --> "iamo".
conSuffia(accordo(_,2,p)) --> "iate".
conSuffia(accordo(_,3,p)) --> "iano".

% ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
%            Participi dei verbi
% ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

% Fare
v(participio(avere),oggetti(diretto, _), Soggetto, participio) -->  "fatt", partSuff(Soggetto).
% Essere
v(participio(essere),oggetti(diretto, no), Soggetto, participio) -->  "stat", partSuff(Soggetto).
% Chiudere
v(participio(avere),oggetti(diretto, no), Soggetto, participio) -->  "chius", partSuff(Soggetto).
% Mettere
v(participio(avere),oggetti(diretto, no), Soggetto, participio) -->  "mess", partSuff(Soggetto).
% Perdere
v(participio(avere),oggetti(diretto, no), Soggetto, participio) -->  "pers", partSuff(Soggetto).
% Prendere
v(participio(avere),oggetti(diretto, no), Soggetto, participio) -->  "pers", partSuff(Soggetto).
% Correre
v(participio(essere),oggetti(no, no), Soggetto, participio) -->  "cors", partSuff(Soggetto).
% Succedere
v(participio(essere),oggetti(no, no), Soggetto, participio) -->  "success", partSuff(Soggetto).
% leggere
v(participio(avere),oggetti(diretto, no), Soggetto, participio) -->  "lett", partSuff(Soggetto).
% Scrivere
v(participio(avere),oggetti(diretto, indiretto), Soggetto, participio) -->  "scritt", partSuff(Soggetto).
% Dire
v(participio(avere),oggetti(cheIndicativo,indiretto), Soggetto, participio) -->  "dett", partSuff(Soggetto).
% Chiedere
v(participio(avere),oggetti(diretto, indiretto), Soggetto, participio) -->  "chiest", partSuff(Soggetto).
% Rimanere
v(participio(essere),oggetti(no, no), Soggetto, participio) -->  "rimast", partSuff(Soggetto).
% Vedere
v(participio(avere),oggetti(diretto, no), Soggetto, participio) -->  "vist", partSuff(Soggetto).
% Vedere
v(participio(avere),oggetti(cheIndicativo,no), Soggetto, participio) -->  "vist", partSuff(Soggetto).
% Bere
v(participio(avere),oggetti(diretto, no), Soggetto, participio) -->  "bevut", partSuff(Soggetto).
% Vivere
v(participio(avere),oggetti(no, no), Soggetto, participio) -->  "vissut", partSuff(Soggetto).
% Venire
v(participio(avere),oggetti(no, no), Soggetto, participio) -->  "venut", partSuff(Soggetto).
% Raggiungere
v(participio(avere),oggetti(diretto, no), Soggetto, participio) -->  "raggiunt", partSuff(Soggetto).
% Esprimere
v(participio(avere),oggetti(diretto, no), Soggetto, participio) -->  "espress", partSuff(Soggetto).
% Corrompere
v(participio(avere),oggetti(diretto, no), Soggetto, participio) -->  "corrott", partSuff(Soggetto).
% Offendere
v(participio(avere),oggetti(diretto, no), Soggetto, participio) -->  "offes", partSuff(Soggetto).
% Offendere
v(participio(avere),oggetti(diretto, no), Soggetto, participio) -->  "costrett", partSuff(Soggetto).

% Regolari
v(Part, IT, Soggetto, participio) --> verbo(uso(participio),are,Part, IT), "at", partSuff(Soggetto).
v(Part, IT, Soggetto, participio) --> verbo(uso(participio),ere,Part, IT), "ut", partSuff(Soggetto).
v(Part, IT, Soggetto, participio) --> verbo(uso(participio),ire,Part, IT), "it", partSuff(Soggetto).
v(Part, IT, Soggetto, participio) --> verbo(uso(participio),irex,Part, IT), "it", partSuff(Soggetto).

partSuff(accordo(m,_,s)) --> "o".
partSuff(accordo(f,_,s)) --> "a".
partSuff(accordo(m,_,p)) --> "i".
partSuff(accordo(f,_,p)) --> "e".

% ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
%            Imperfetto dei verbi
% ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

% Eccezzioni semplici
v(_,oggetti(diretto,_), Soggetto, imperfetto) --> "face", impSuff(Soggetto).
v(_,oggetti(diretto,indiretto), Soggetto, imperfetto) --> "da", impSuff(Soggetto).
v(_,oggetti(diretto,no       ), Soggetto, imperfetto) --> "beve",impSuff(Soggetto).
v(_,oggetti(cheIndicativo,indiretto), Soggetto, imperfetto) --> "dice",impSuff(Soggetto).
v(_,oggetti(diretto,no       ), Soggetto, imperfetto) --> avere(Soggetto, imperfetto).
avere(Soggetto,imperfetto) --> "ave", impSuff(Soggetto).

% Essere
v(_,oggetti(diretto,no       ), Soggetto, imperfetto) --> essere(Soggetto, imperfetto).
essere(accordo(_,1,s), imperfetto) --> "ero".
essere(accordo(_,2,s), imperfetto) --> "eri".
essere(accordo(_,3,s), imperfetto) --> "era".
essere(accordo(_,Persona,p), imperfetto) --> "era", impSuff(accordo(_,Persona,p)).

% Regolari
v(Part, IT, Soggetto, imperfetto) --> verbo(uso(imperfetto),are,Part, IT), "a", impSuff(Soggetto).
v(Part, IT, Soggetto, imperfetto) --> verbo(uso(imperfetto),ere,Part, IT), "e", impSuff(Soggetto).
v(Part, IT, Soggetto, imperfetto) --> verbo(uso(imperfetto),ire,Part, IT), "i", impSuff(Soggetto).
v(Part, IT, Soggetto, imperfetto) --> verbo(uso(imperfetto),irex,Part, IT), "i", impSuff(Soggetto).

% Suffissi
impSuff(accordo(_,1,s)) --> "vo".
impSuff(accordo(_,2,s)) --> "vi".
impSuff(accordo(_,3,s)) --> "va".
impSuff(accordo(_,1,p)) --> "vamo".
impSuff(accordo(_,2,p)) --> "vate".
impSuff(accordo(_,3,p)) --> "vano".

% ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
%            Gerundio dei verbi
% ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

%Eccezzioni
v(_, oggetti(cheIndicativo,indiretto), Soggetto, gerundio) --> "dicendo".
v(_, oggetti(diretto, _), Soggetto, gerundio) --> "facendo".
v(_, oggetti(diretto, no       ), Soggetto, gerundio) --> "bevendo".
v(Part, IT, Soggetto, gerundio) --> verbo(uso(gerundio),are, Part, IT), "ando".
v(Part, IT, Soggetto, gerundio) --> verbo(uso(gerundio),ere, Part, IT), "endo".
v(Part, IT, Soggetto, gerundio) --> verbo(uso(gerundio),ire, Part, IT), "endo".
v(Part, IT, Soggetto, gerundio) --> verbo(uso(gerundio),irex, Part, IT), "icendo".

% ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
%            Vocaboli -- Verbi
% ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

verbo(uso(_),are,participio(avere), oggetti(diretto,no)) --> "guadagn".
                                           % (ricevere soldi tutti i mesi per avere lavorato)
verbo(uso(_),ere,participio(avere), oggetti(diretto,no)) --> "ricev". %(se ti do qualcosa, la ricevi)
verbo(uso(_),irex,participio(avere), oggetti(no,no)) --> "guar". % (contrario di amalarsi)
verbo(uso(_),ere,participio(avere), oggetti(no,no)) --> "dipend". % (essere influenzato per)
verbo(uso(_),ere,participio(avere), oggetti(diretto,no)) --> "spegn". % (spegnere la luce - sarà buio)
verbo(uso(_),ire,participio(avere), oggetti(diretto,no)) --> "infastid".  % (disturbare qualcuno)
verbo(uso(_),ire,participio(avere), oggetti(diretto,no)) --> "invest".  % (ferire qualcuno colla macchina)
verbo(uso(_),ire,participio(avere), oggetti(diretto,no)) --> "fer".  % (causare una ferita)
verbo(uso(_),are,participio(avere), oggetti(cheCongiuntivo,no)) --> "pens".  % (avere in menta)
verbo(uso(_),ere,participio(avere), oggetti(cheCongiuntivo,no)) --> "cred".  % (pensare)
verbo(uso(_),are,participio(avere), oggetti(cheCongiuntivo,indiretto)) --> "sembr".  % (mi sembra = penso)
verbo(uso(_),are,participio(avere), oggetti(di,no)) --> "vantar".  % (essere fiero di)
verbo(uso(_),are,participio(avere), oggetti(diretto,no)) --> "sistem".  % (riparare ,mettere in ordine)
verbo(uso(_),are,participio(avere), oggetti(diretto,no)) --> "picchi".  % (battere)
verbo(uso(_),are,participio(avere), oggetti(diretto,no)) --> "rallent".  % (abbassare la velocità)
verbo(uso(_),are,participio(avere), oggetti(diretto,no)) --> "acceler".  % (contrario di rallentare)
verbo(uso(_),ire,participio(avere), oggetti(diretto,no)) --> "infastid".  % (disturbare)
verbo(uso(_),are,participio(avere), oggetti(no,no)) --> "litig".  % (parlare male con qualcuno)
verbo(uso(_),are,participio(essere), oggetti(no,no)) --> "sband".  % (andare senza controllo)
verbo(uso(_),are,participio(avere), oggetti(diretto,no)) --> "svit".  % (contrario di fissare)
verbo(uso(_),are,participio(avere), oggetti(diretto,no)) --> "osserv".  % (fare attenzione a)
verbo(uso(_),are,participio(avere), oggetti(diretto,no)) --> "licenz".  % (mettere fuori della ditta)
verbo(uso(_),are,participio(avere), oggetti(diretto,no)) --> "assaggi".  % (testare)
verbo(uso(_),are,participio(avere), oggetti(diretto,no)) --> "raffront".  % (comparare colle alternativi)
verbo(uso(Uso),ere,participio(avere), oggetti(diretto,no)) --> {Uso \= participio}, "corromp".
      %(dare dei soldi per influenzare)
verbo(uso(Uso),ere,participio(avere), oggetti(diretto,no)) --> {Uso \= participio}, "raggiung". %(rincontrare)
verbo(uso(Uso),ere,participio(avere), oggetti(diretto,no)) --> {Uso \= participio}, "esprim". %(dire)
verbo(uso(_),are,participio(avere), oggetti(diretto,no)) --> "tagli". %(rendere più piccolo)
verbo(uso(_),are,participio(avere), oggetti(diretto,no)) --> "invi". %(mandare)
verbo(uso(_),are,participio(avere), oggetti(diInfinitivo, no)) --> "cerc". %(fare tutto affinchè)
verbo(uso(_),are,participio(avere), oggetti(diInfinitivo, indiretto)) --> "consigli".
      %(dire che sarebbe una buona idea di)
verbo(uso(infinitivo),are,participio(avere), oggetti(diretto,indiretto)) --> "danneggi". %(produrre un danno)

verbo(uso(infinitivo),ere,participio(avere), oggetti(diretto,no)) --> "av".
verbo(uso(infinitivo),ere,participio(avere), oggetti(diretto,no)) --> "b".
verbo(uso(infinitivo),ere,participio(avere), oggetti(diretto,no)) --> "ten".
verbo(uso(infinitivo),ire,participio(avere), oggetti(cheIndicativo, indiretto)) --> "d".
verbo(uso(infinitivo),are,participio(avere), oggetti(diretto,no)) --> "d".
verbo(uso(infinitivo),are,participio(avere), oggetti(diretto,no)) --> "f".
verbo(uso(infinitivo),ere,participio(essere), oggetti(diretto,no)) --> "ess".
verbo(uso(infinitivo),are,participio(essere), oggetti(no,no)) --> "and".
verbo(uso(infinitivo),ire,participio(essere), oggetti(no,no)) --> "ven".
verbo(uso(infinitivo),ere,participio(essere), oggetti(no,no)) --> "riman".
verbo(uso(infinitivo),ere,participio(avere), oggetti(infinitivo)) --> "pot".
verbo(uso(infinitivo),ere,participio(avere), oggetti(infinitivo)) --> "dov".
verbo(uso(infinitivo),ere,participio(avere), oggetti(cheInfinitivo,no)) --> "sap".
verbo(uso(infinitivo),ere,participio(avere), oggetti(cheCongiuntivo,no)) --> "vol".

verbo(uso(Uso),ere,participio(avere), oggetti(diretto,no)) --> {Uso \= participio}, "offend".
     %(dire qualcosa di male a qualcuno)
verbo(uso(Uso),ire,participio(avere), oggetti(diretto,no)) --> "riemp". %(fare pieno)
verbo(uso(Uso),ere,participio(avere), oggetti(diretto,no)) --> {Uso \= participio}, "costring".
     %(fare che qualcuno deve fare quacosa)
verbo(uso(_),are,participio(avere), oggetti(diretto,no)) --> "aspett".
verbo(uso(_),are,participio(avere), oggetti(cheCongiuntivo,no)) --> "aspett".
verbo(uso(Uso),are,participio(essere), oggetti(no,no)) -->
 {Uso \= participio, Uso \= futuro, Uso \= presente}, "st".
verbo(uso(Uso),ere,participio(avere), oggetti(_,_)) --> {Uso \= participio}, "scriv".
verbo(uso(_),ire,participio(avere), oggetti(no,no)) --> "dorm".
verbo(uso(_),irex,participio(avere), oggetti(diInfinitivo,_)) --> "fin".
verbo(uso(_),irex,participio(avere), oggetti(diretto,_)) --> "fin".
verbo(uso(Uso),ere,participio(avere), oggetti(diretto,no)) --> {Uso \= participio}, "chiud".
verbo(uso(Uso),ere,participio(avere), oggetti(diretto,no)) --> {Uso \= participio}, "mett".
verbo(uso(Uso),ere,participio(avere), oggetti(diretto,no)) --> {Uso \= participio}, "prend".
verbo(uso(Uso),ere,participio(avere), oggetti(diretto,no)) --> {Uso \= participio}, "perd".
verbo(uso(Uso),ere,participio(avere), oggetti(diretto,no)) --> {Uso \= participio}, {Uso \= futuro}, "ved".
verbo(uso(Uso),ere,participio(avere), oggetti(cheIndicativo,no)) --> {Uso \= participio}, {Uso \= futuro}, "ved".
verbo(uso(Uso),ere,participio(essere), oggetti(no,no)) --> {Uso \= participio}, "cad".
verbo(uso(Uso),ere,participio(essere), oggetti(no,no)) --> {Uso \= participio}, "corr".
verbo(uso(Uso),ere,participio(essere), oggetti(no,no)) --> {Uso \= participio}, "succed".
verbo(use(Uso),ere,participio(avere),oggetti(diretto, no)) --> {Uso \= participio},"legg".
verbo(use(Uso),ere,participio(avere),oggetti(cheCongiuntivo,indiretto)) --> {Uso \= participio},"chied".
verbo(uso(Uso),ere,participio(essere), oggetti(no,no)) --> {Uso \= participio}, "viv".

% ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
%            Vocaboli -- Sostantivi
% ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

n(no,1,f) --> "pall". %(oggetto rondo con cui si gioca)
n(no,1,f) --> "vittim". %(qualcuno che soffre)
n(no,2,m) --> "pedon". %(qualcuno che va a piedi)
n(no,2,m) --> "pettin". %(oggetto per mettere in ordine i capelli)
n(no,1,m) --> "livell". %(un insieme di oggetti della stessa qualità)
n(no,1,m) --> "aspett". %(l'apparenza esteriore)
n(no,1,m) --> "sportell". %(la porta della macchina)
n(no,1,f) --> "palazzin". %(una casa con tanti inquilini)
n(no,1,m) --> "palazz". %(una casa con tanti inquilini)
n(no,2,m) --> "fanal". %(la parte della macchina che da la luce)
n(no,1,f) --> "parabrezz". %(la parte della macchina che è fatta di vitro)
n(no,1,f) --> "sell". %(la parte della macchina sulla quale si è seduti)
n(no,1,m) --> "fren". %(la parte della macchina colla quale si rallenta)
n(no,1,f) --> "ruot". %(le 4 parti ronde della macchina che toccano la strada)
n(no,1,m) --> "pett". %(la parte del corpo che porta il cuore)
n(no,1,f) --> "spall". %(la parte del corpo che porta un braccio)
n(no,i1,m) --> "manubri". % (la parte della bicicletta con cui si guida)
n(no,1,f) --> "secondari". %(la frase subordinata)
n(vocale,1,m) --> "equivoc". %(quando due personi parlano di cose differenti, ma non lo sanno)
n(no,2,f) --> "paret". %(il muro di una camera)
n(no,1,f) --> "suocer". %(la madre del marito)
n(no,1,m) --> "sonnelin". %(dormire per qualche minuto)
n(no,i1,m) --> "proprietari". %(qualcuno a cui appartiene un appartamento in cui abitano altri)
n(vocale,1,m) --> "inquilin". %(qualcuno che abita in un appartamento per cui deve pagare tutti i mesi)
n(no,1,m) --> "rallentament". %(quando ci sono tante macchine che vanno molto lentamente)
n(no,1,m) --> "primat". %(primo prezzo)
n(vocale,1,f) --> "impres". %(un progetto)
n(no,1,m) --> "divertiment". %(qualcosa che si fa per piacere)
n(no,1,f) --> "dit". %(dove si lavora)
n(no,1,f) --> "cintur". %(che tiene i pantaloni)
n(no,2,m) --> "sedil". %(un oggetto sul quale si può sedersi)
n(vocale,i1,m) --> "incroci". %(dove due strade si incontrano)
n(no,1,m) --> "semafor". %(segno coi colori rosso, giallo e verde)
n(no,1,m) --> "gess". %(materia biancha che si mette per fare guarire un osso rotto)
n(no,1,m) --> "coll". %(la parte del corpo che porta la testa)
n(no,1,f) --> "gol". %(il collo)
n(no,1,f) --> "panci". %(la parte del corpo che porta lo stomaccho)
n(no,2,m) --> "marciapied". %(l'area sulla strada prevista per i pedoni)
n(no,1,f) --> "ferit". %(un male del corpo, risultando per esempio di un incidente)
n(no,1,m) --> "panettier". %(qualcuno che produce il pane)
n(no,1,f) --> "magliett". %(T-shirt)
n(no,1,m) --> "giall". %(libro sui detettivi)
n(no,1,m) --> "reddit". %(i soldi che si guadagna)
n(no,2,m) --> "volum". %(la forza della musica)
n(no,1,f) --> "pil". %(una struttura nella quale un oggetto si trova sull'altro)
n(no,1,f) --> "mult". %(il prezzo che devi pagare se hai fatto qualcosa contro la legge)
n(no,2,m) --> "volant". % (utilizzato per guidare una macchina)
n(no,1,f) --> "corsi". % (l'area fra le line sull'autostrada)
n(no,1,m) --> "rammollit". % (qualcuno che ha sempre paura)
n(no,1,_) --> "laureat".  % (qualcuno che a frequentato l'università)
n(no,1,f) --> "barzellett". %(una storia pere ridere)
n(no,1,f) --> "virgol". %( ",")
n(vocale,1,f) --> "alb". % (quando il sole si mostra al cielo)
n(no,1,m) --> "tramont". % (quando il sole sparisce del cielo)
n(no,1,m) --> "cap". %(qualcuno che dirige une dita)
n(no,2,_) --> "presid". %(un capo)
n(vocale,2,f) --> "istruzion". %(una frase imperativa)
n(no,2,m) --> "pedon". %(qualcuna che va a piedi)
n(no,1,m) --> "paviment". %(la limitazione inferiore di una camera)
n(no,1,m) --> "soffitt". %(la limitazione superiore sù di una camera)
n(no,1,m) --> "rapport". %(relazione)
n(vocale,2,m) --> "ero". %(un uomo molto bravo)
n(vocale,2,f) --> "eroin". % (una donna molto brava)
n(vocale,1,f) --> "allegri". %(lo stato d'animo quando ridi)
n(no,1,f) --> "segretari". %(una donna che aiuta il capo colle cose amministrative)
n(no,i1,m) --> "segretari". %(un uomo che aiuta il capo colle cose amministrative)
n(no,atomico,m) --> "clacson". %(si può suonarlo in una macchina)
n(no,atomico,f) --> "falsità". %(sostantivo di "falso")
n(no,atomico,f) --> "rarità". %(sostantivo di "non spesso")
n(no,atomico,f) --> "velocità". %(sostantivo di "veloce")
n(no,atomico,f) --> "celerità". %(velocitá)
n(no,atomico,f) --> "privacy". %(il diritto di preventare che gli altri sanno tutto di me)
n(no,atomico,m) --> "camion". %(una macchina per tasportare dei beni)
n(no,atomico,m) --> "pullman". %(una macchina che trasporta molte persone)
n(no,atomico,f) --> "TV". %(la televisione)
n(no,atomico,m) --> "pasdaran". %(qualcuno che ha degli ideali estremi (peggiorativo))
n(no,1,f) --> "metropolitan". %(un treno sotto la terra)
n(no,1,m) --> "compit". %(un lavoro da fare)
n(no,1,f) --> "rob". %(una cosa)
n(no,atomico,m) --> "guard-rail". %(la limitazione dell'autostrada)
n(no,atomico,f) --> "tesi".  %la tesi, le tesi (un testo molto lungo)
n(vocale,atomico,f) --> "ipotesi". %l'ipotesi, le ipotesi (una teoria)
n(vocale,2,m) --> "incident". %(una collisione con una macchina)
n(no,1,f) --> "tass". % le tasse %(i soldi che si paga allo stato)
n(vocale,i1,m) --> "avantaggi". %(una ragione per qualcosa)
n(impuro,i1,m) --> "svantaggi". %(contrario di avantaggio)

nx(no,f,p) --> "patatine". %(uno snack)
nx(no,m,s) --> "musicista". %(qualcuno che fa della musica)
nx(no,m,p) --> "musicisti".
nx(no,f,p) --> "chiacchiere". %(parlare per piacere)
nx(no,f,s) --> "gente". %(le persone)

nx(no,f,s) --> "mano". % la mano
nx(no,f,p) --> "mani". % le mani
% Sostantivi che cambiano il genere
nx(no,m,s) --> "dito". % il dito
nx(no,f,p) --> "dita". % le dita
nx(no,m,s) --> "braccio". % il braccio
nx(no,f,p) --> "braccia". % le braccia
nx(no,m,s) --> "ginocchio". % il ginocchio
nx(no,f,p) --> "ginocchia". % le ginocchia

% ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
%            Vocaboli -- Frasi
% ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

s --> "facciamo in modo che ", s(con(trovilo, trovilo), congiuntivo).
s --> "lasciamo che ", s(con(trovilo, trovilo), congiuntivo).
s --> "bisogna che ", s(con(trovilo, trovilo), congiuntivo).
s --> "non è che ", s(con(trovilo, trovilo), congiuntivo).
s --> "non so che ", s(con(trovilo, trovilo), congiuntivo).
s --> "forse ", s(con(trovilo, trovilo), indicativo).
s --> "secondo me ", s(con(trovilo, trovilo), indicativo).

% ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
%            Vocaboli -- Altri
% ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

% frequentare un corso
% essere costretto
% venire pagato
% essere a scuola
% avere opinioni differenti
% stare per fare qualcosa
% Sincero
% affidabile
% inaffidabile
% di solito
% in bocca al lupo
% una situazione brutta
% essere al corrente di qualcosa
% senz' altro
% fuori sede (vuol dire: non c'è)
% utile
% attendere in linea
% lasciare detto
% il catalogo relativo a qualcosa
% restando in attesa
% Gentile Signora X
% Egregio Signore X
% Che so io?
% Poiché, siccome, dato che, visto che
% mettersi in contatto
% concordare un incontro
% perdere il treno
% prossimamente
% porgere (dare)
% fidarsi di qualcuno
% contare su qualcuno
% farsoi consigliare
% Che io sappia ...
% nel pomeriggio
% appena
% si mantiene la stessa pronuncia
% è la stessa cosa
% essere a conscienza di qualcosa
% garanzia
% impegnato (lavorando)
% fissare un appuntamento
% bussare ad una porta
% stringere la mano
% accattivante (molto interessante)
% ditta
% essere impresionato da qualcosa
% lasciare gioccare la fantasia
% avere la raccomandazione
% riuscire a fare qualcosa
% consistere nel fare qualcosa
% un sacco di gente
% vicino a
% mi piacerebbe
% participare ad un corso
% leggere qualcosa su un giornale
% lavorare in proprio
% il dattore di lavoro
% maldestro
% sufficente
% geloso
% senza cuore
% passionale (con emozioni)
% avaro (chi non vuole spendere i soldi)
% ambizionato
% testardo (chi non cambia d'idea)
% auguri in ritardo
% stare attento
% piacevole (agreabile)
% dormire come una marmotta
% negli affari finanziari
% pignolo (chi fa molto attenzione alle proprie cose)
% vanitoso (chi fa molto attenzione alla sua apparenza)
% geloso delle proprie cose
% chiedere in prestito (chiedere una cosa che appartiene a qualcun'altro)
% dare in prestito (dare una cosa a qualcun'altro per un periodo)
% Natale coi tuoi, pasqua con chi vuoi
% la corsia di sorpasso
% sgranare gli occhi
% andare a tutta birra
% vicino a casa sua
% chilometri all'ora
% a punto (esattamente)
% Come si fa a ...
% innammorarsi di qualcuno
% al solito (normalmente)
% spaesato (sentendosi solo)
% portare bene gli anni
% imbarazzo
% alla fine
% intrattenere (chiacchierare)
% aggionato
% da nesuna parte
% tranne (senza)
% ovvero (cioè)
% da che cosa si capisce che...? (che cosa ti dice che...)
% malato
% amalarsi
% capo-volto (colla testa messa in giù)
% fare gli occhi dolci
% insolito (non normale)
% dare/avere la precedenza
% avere torto (avere detto qualcosa di falso)
% avere ragione (contrario di avere torto)
% eccesso di velocità
% scomodo
% guidare con prudenza
% più ... di ...
% ci si bagna
% le strisce pedonali
% fugire (andare via per paura)
% sfogarsi
% spettare a (essere per)
% avunque (dappertutto)
% la colpa è sua/mia/tua
% è colpa sua/tua/mia
% sono desolato (mi dispiace)
% vivace (pieno di vita)
% lamentarsi di qualcosa (dire che sono scontento con qualcosa)
% sconvolto (molto sorpreso)
% debole (piano)
% riportare qualcosa da qualcuno (portare qualcosa da qualcuno)
% aperto verso qualcosa
% mio padre %senza l'articolo
% stare da qualcuno (essere da qualcuno)
% goloso (chi ama molto mangiare)
% tranne (ma non)
% qualcosa da fare
% come si fa a... ?
% essere composto di (avere i sequenti parti)
% in montagna
% ci voranno circa 3 ore
% lasciare detto qualcosa (fare che qualcuno dice la cosa a un altro)
% Restando in attesa di un cortese risconto (attendo la Sua risposta)
% fidarsi di qualcuno (credere che la persona non faccia sciocchezze)
% appena ... (il più presto possibible, però dopo che...)
% passare a prendere (venire per prendere)
% dipenere da (essere sull'influenza di)
% il punto di vista (l'opinione)
% in parte (non completamente)
% avvincente (che si vuole saperlo immediatamente)
% commovente (che fa piangere)
% appassionante (molto interessante)
% fare parte di (essere una parte di)
% andare a trovare (andare a qualcuno per verderlo)
% farsi male (ferirsi)
% segnale stradale (un segno che dice cosa si deve fare nel traffico)
% senso vietato
% grazie a (per)
% lamentarsi (dire che cosa non piace)
% mettersi d'accordo (trovare una soluzione coll'altro)
% infastidirsi (essere scontento)