desinenze

/* DESI1.PRO */

domains
des= symbol
predicates
dati1(des,des,des,des,des,des)
dati2(des,des,des,des,des,des)
dati3(des,des,des,des,des,des)
dati4(des,des,des,des,des,des)
dati5(des,des,des,des,des,des)
dati6(des,des,des,des,des,des)

dati7(des,des,des,des,des,des)
dati8(des,des,des,des,des,des)
dati9(des,des,des,des,des,des)
dati10(des,des,des,des,des,des)

clauses
dati1("o","as","at","amus","atis","ant").
dati2("abam","abas","abat","abamus","abatis","abant").
dati3("abo","abis","abit","abimus","abitis","abunt").
dati4("i","isti","it","imus","istis","erunt").
dati5("eram","eras","erat","eramus","eratis","erant").
dati6("ero","eris","erit","erimus","eritis","erint").
dati7("em","es","et","emus","etis","ent").
dati8("arem","ares","aret","aremus","aretis","arent").
dati9("erim","eris","erit","erimus","eritis","erint").
dati10("issem","isses","isset","issemus","issetis","issent").
                                                     

/* DESI2.PRO */

domains
des= symbol
predicates
dati1(des,des,des,des,des,des)
dati2(des,des,des,des,des,des)
dati3(des,des,des,des,des,des)
dati4(des,des,des,des,des,des)
dati5(des,des,des,des,des,des)
dati6(des,des,des,des,des,des)

dati7(des,des,des,des,des,des)
dati8(des,des,des,des,des,des)
dati9(des,des,des,des,des,des)
dati10(des,des,des,des,des,des)

clauses
dati1("eo","es","et","emus","etis","ent").
dati2("ebam","ebas","ebat","ebamus","ebatis","ebant").
dati3("ebo","ebis","ebit","ebimus","ebitis","ebunt").
dati4("i","isti","it","imus","istis","erunt").
dati5("eram","eras","erat","eramus","eratis","erant").
dati6("ero","eris","erit","erimus","eritis","erint").
dati7("eam","eas","eat","eamus","eatis","eant").
dati8("erem","eres","eret","eremus","eretis","erent").
dati9("erim","eris","erit","erimus","eritis","erint").
dati10("issem","isses","isset","issemus","issetis","issent").
                                                     

/* DESI3.PRO */

domains
des= symbol
predicates
dati1(des,des,des,des,des,des)
dati2(des,des,des,des,des,des)
dati3(des,des,des,des,des,des)
dati4(des,des,des,des,des,des)
dati5(des,des,des,des,des,des)
dati6(des,des,des,des,des,des)

dati7(des,des,des,des,des,des)
dati8(des,des,des,des,des,des)
dati9(des,des,des,des,des,des)
dati10(des,des,des,des,des,des)

clauses
dati1("o","is","it","imus","itis","unt").
dati2("ebam","ebas","ebat","ebamus","ebatis","ebant").
dati3("am","es","et","emus","etis","ent").
dati4("i","isti","it","imus","istis","erunt").
dati5("eram","eras","erat","eramus","eratis","erant").
dati6("ero","eris","erit","erimus","eritis","erint").
dati7("am","as","at","amus","atis","ant").
dati8("erem","eres","eret","eremus","eretis","erent").
dati9("erim","eris","erit","erimus","eritis","erint").
dati10("issem","isses","isset","issemus","issetis","issent").
                                                     

/* DESI4.PRO */

domains
des= symbol
predicates
dati1(des,des,des,des,des,des)
dati2(des,des,des,des,des,des)
dati3(des,des,des,des,des,des)
dati4(des,des,des,des,des,des)
dati5(des,des,des,des,des,des)
dati6(des,des,des,des,des,des)

dati7(des,des,des,des,des,des)
dati8(des,des,des,des,des,des)
dati9(des,des,des,des,des,des)
dati10(des,des,des,des,des,des)

clauses
dati1("io","is","it","imus","itis","iunt").
dati2("iebam","iebas","iebat","iebamus","iebatis","iebant").
dati3("iam","ies","iet","iemus","ietis","ient").
dati4("i","isti","it","imus","istis","erunt").
dati5("eram","eras","erat","eramus","eratis","erant").
dati6("ero","eris","erit","erimus","eritis","erint").
dati7("iam","ias","iat","iamus","iatis","iant").
dati8("irem","ires","iret","iremus","iretis","irent").
dati9("erim","eris","erit","erimus","eritis","erint").
dati10("issem","isses","isset","issemus","issetis","issent").
                                                     

/* DESI.PRO */
/* da usare con latino3..latino4 */

domains
des= symbol
predicates
dati1(des,des,des,des,des,des)
dati2(des,des,des,des,des,des)
dati3(des,des,des,des,des,des)
dati4(des,des,des,des,des,des)
dati5(des,des,des,des,des,des)
dati6(des,des,des,des,des,des)

dati7(des,des,des,des,des,des)
dati8(des,des,des,des,des,des)
dati9(des,des,des,des,des,des)
dati10(des,des,des,des,des,des)

clauses
dati1("o","as","at","amus","atis","ant").
dati2("abam","abas","abat","abamus","abatis","abant").
dati3("abo","abis","abit","abimus","abitis","abunt").
dati4("avi","avisti","avit","avimus","avistis","averunt").
dati5("averam","averas","averat","averamus","averatis","averant").
dati6("avero","averis","averit","averimus","averitis","averint").
dati7("em","es","et","emus","etis","ent").
dati8("arem","ares","aret","aremus","aretis","arent").
dati9("averim","averis","averit","averimus","averitis","averint").
dati10("avissem","avisses","avisset","avissemus","avissetis","avissent").
                                                     

/* DESIx.PRO */

domains
des= symbol
predicates
dati(integer,des,des,des,des,des,des)

clauses
dati(1,"o","as","at","amus","atis","ant").
dati(2,"abam","abas","abat","abamus","abatis","abant").
dati(3,"abo","abis","abit","abimus","abitis","abunt").
dati(4,"i","isti","it","imus","istis","erunt").
dati(5,"eram","eras","erat","eramus","eratis","erant").
dati(6,"ero","eris","erit","erimus","eritis","erint").
dati(7,"em","es","et","emus","etis","ent").
dati(8,"arem","ares","aret","aremus","aretis","arent").
dati(9,"erim","eris","erit","erimus","eritis","erint").
dati(10,"issem","isses","isset","issemus","issetis","issent").