!"#$#%&#'()*)#"$

» !"#$%$&'()"(*%(+#,"-%.(/%$,%(),(0%12,'.(34%$%(0%#"$5,(%$&(+,"#6%'7'(8,9'#,$,:!!#'*+,+-.'"/0#%(12*"&(3*2#$(4,"(!"/2*"-(156,,7(86/7'"#%!!!!!!!!!!!!!!!!!!!!!!"#$%&!'()*($)#!'+!,-.-/0-1

» 8,$2"$5%(;'<$,.(/%$,%(),(0%12,'.(='1"77%(>"$$%#,(%$&(+,"#6%'7'(8,9'#,$,2!96#(9:;:<8:(12*"&(3*2#(;#0/$/,%(3=/'#7/%#$(*%'(1,>?*"#(9,,7

Rosella GennariFree University of Bozen-Bolzano

http://www.terenceproject.eu

Play and Readin the TERENCE world

22.05. 2013 / SalamancaebTEL 2013

!"#$%&#&'()(*+(,%&,-,./00-1/"-23#,4!5,(6,7"/8#.9,:/",9;#,!"#$%&'&()*+%$,%#"-*.",/%0%(*1!+.2*-"#-

!"#$%&#&'()(*+(,%&,-,./00-1/"-23#,4!5,(6,7"/8#.9,:/",9;#,!"#$%&'&()*+%$,%#"-*.",/%0%(*1!+.2*-"#-

'",/%0%(*3,454

!"#$%&#&'()(*+(,%&,-,./00-1/"-23#,4!5,(6,7"/8#.9,:/",9;#,!"#$%&'&()*+%$,%#"-*.",/%0%(*1!+.2*-"#-

'",/%0%(*3,454

'",/%"/4*67',)"/4*

!"#$%&#&'()(*+(,%&,-,./00-1/"-23#,4!5,(6,7"/8#.9,:/",9;#,!"#$%&'&()*+%$,%#"-*.",/%0%(*1!+.2*-"#-

'",/%0%(*3,454

'",/%"/4*67',)"/4*

*#<9=,>#,9#00,/?#,/:,%9&,!"#$%&!'''

@!"#$%&'()*+,(-#*#!"#$#.,%/0#1,%#%$"&'(!

2)%34)3%'

@!"#$%&'(

@!"#$%&'(

!"#$%&'(#)*+$!"#$%&'$,-!"$%(#"%)*'

@!"#$%&'(

!"#$%&'$()*

!"#$%&'(#)*+$!"#$%&'$,-!"$%(#"%)*'

@!"#$%&'(

!"#$%&'$()*

!"#$%&'(#)*+$!"#$%&'$,-!"$%(#"%)*'

@!"#$%&'(

!"#$%&'$()*

!"#$$%&'%()))))))))!*$$#+*,#-.*&

,%/#,0(!"#$%&'()*********$%+,'-"-"%.

-/'*,01)'(#2*#!-.*&(*3"-/**1-!*2%(

@!"#$%&'(

!"#$%&#$"'(#)*"+,

-&.*(#)*"+,

!"#$$%&'%()))))))))!*$$#+*,#-.*&

,%/#,0(!"#$%&'()*********$%+,'-"-"%.

-/'*,01)'(#2*#!-.*&(*3"-/**1-!*2%(

@!"#$%&'(

!"#$%&#$"'(#)*"+,

-&.*(/&0*1(2*&+'$'3

-&.*(#)*"+,

!"#$$%&'%()))))))))!*$$#+*,#-.*&

,%/#,0(!"#$%&'()*********$%+,'-"-"%.

-/'*,01)'(#2*#!-.*&(*3"-/**1-!*2%(

@!"#$%&'(

!"##$%"&$'(") &**+**,**$**&**-*

!.$##+)/+

@!"#$%&#'()(*+(#,-.&#/0123

@!"#$%&#'()(*+(#,-.&#/0123

!"#$$%&'%

@!"#$%&#'()(*+(#,-.&#/0123

!""#""$""%""!""&"

'(%))#*+#

@!"#$%&#'()(*+(#,-.&#/0123

!""#""$""%""!""&"

'(%))#*+#

',))%-,!%./,*

@!"#$%&'()*+,(-#*#!"#$#.,%/0#1,%#%$"&'(!

2)%34)3%'

@5"#6/&7*8-#*#)*"+,$#*(0#-$&"!.!'/",,01$2$/34$15.%,&

@!"#$%&%'(%"#)*+#start

no

release

yesok?

gather data specify requirements

designdevelop

evaluation!"#$%&#'($#)%*%

#+,)#'&#-./"#)

@!"#$%&%'(%"#)*+#start

no

release

yesok?

gather data specify requirements

designdevelop

evaluation!"#$%&#'($#)%*%

#+,)#'&#-./"#)

01%2%344%5#/$'#$"

01*%64%(#/&7#$"%/')%04%#89#$("

@!"#$%&'#()*+&(),)'-.#/0(#!"#$%&'( )*+,(-.$-'/

!"#$"%&'()*'+,+'- ./%01*'+,+'-*#10*'+/02+0-34**/$(03*%5/0/%(+0*6/7+-84*-/$*(1*2-#$*3*("7+*6/7+-84*$'.3*%/&-/'"()*6/7+-9*

:%5+;&'"26*1#*0+/;"26*/2;*<'/)"26

=-(* -"'+2(* (*#2-/38* >2;* <'/)"26* +1#($* 6/7+-8* ?0;*<'/)"26*(*4#5-/3*6/7+-

@12-(0/"2(-*12*/%("12-

A+/02+0-*-51&';*6+(* #/-(+0B*5+2%+*/*6/7+*5/-*/*7/C"7/'*(*+'46$-'/%$-1*

D0160+--*/2;*#++;E/%F

7'/-$'(* /2;* 6",+* '+/02+0-* G=H* ";+/* 1#* .('3(*++B* G>H**5.4#/#$'(0* #++;E/%FB* G?H* 0+%/''* (5+"0* /((+2("12* /2;*+'4-,-$%(5+7*(1*6",+*/*0+-1'&("12*G"2*("7+H

I+<0+-+2(/("12 D01;&%("12* %/2* E+* "7</"0+;* 5+2%+* <0171(+* 0+-1'&("12*,"/*8-+6#4*(*.(*+*/$#$-'/%#/2%(*#+'/-/3

@!"#$%&'#()*+&(),)'-.#/0(#!"#$%&'( )*+,(-.$-'/

!"#$"%&'()*'+,+'- ./%01*'+,+'-*#10*'+/02+0-34**/$(03*%5/0/%(+0*6/7+-84*-/$*(1*2-#$*3*("7+*6/7+-84*$'.3*%/&-/'"()*6/7+-9*

:%5+;&'"26*1#*0+/;"26*/2;*<'/)"26

=-(* -"'+2(* (*#2-/38* >2;* <'/)"26* +1#($* 6/7+-8* ?0;*<'/)"26*(*4#5-/3*6/7+-

@12-(0/"2(-*12*/%("12-

A+/02+0-*-51&';*6+(* #/-(+0B*5+2%+*/*6/7+*5/-*/*7/C"7/'*(*+'46$-'/%$-1*

D0160+--*/2;*#++;E/%F

7'/-$'(* /2;* 6",+* '+/02+0-* G=H* ";+/* 1#* .('3(*++B* G>H**5.4#/#$'(0* #++;E/%FB* G?H* 0+%/''* (5+"0* /((+2("12* /2;*+'4-,-$%(5+7*(1*6",+*/*0+-1'&("12*G"2*("7+H

I+<0+-+2(/("12 D01;&%("12* %/2* E+* "7</"0+;* 5+2%+* <0171(+* 0+-1'&("12*,"/*8-+6#4*(*.(*+*/$#$-'/%#/2%(*#+'/-/3

@!"#$%&'#()*+&(),)'-.#/0(#!"#$%&'( )*+,(-.$-'/

!"#$"%&'()*'+,+'- ./%01*'+,+'-*#10*'+/02+0-34**/$(03*%5/0/%(+0*6/7+-84*-/$*(1*2-#$*3*("7+*6/7+-84*$'.3*%/&-/'"()*6/7+-9*

:%5+;&'"26*1#*0+/;"26*/2;*<'/)"26

=-(* -"'+2(* (*#2-/38* >2;* <'/)"26* +1#($* 6/7+-8* ?0;*<'/)"26*(*4#5-/3*6/7+-

@12-(0/"2(-*12*/%("12-

A+/02+0-*-51&';*6+(* #/-(+0B*5+2%+*/*6/7+*5/-*/*7/C"7/'*(*+'46$-'/%$-1*

D0160+--*/2;*#++;E/%F

7'/-$'(* /2;* 6",+* '+/02+0-* G=H* ";+/* 1#* .('3(*++B* G>H**5.4#/#$'(0* #++;E/%FB* G?H* 0+%/''* (5+"0* /((+2("12* /2;*+'4-,-$%(5+7*(1*6",+*/*0+-1'&("12*G"2*("7+H

I+<0+-+2(/("12 D01;&%("12* %/2* E+* "7</"0+;* 5+2%+* <0171(+* 0+-1'&("12*,"/*8-+6#4*(*.(*+*/$#$-'/%#/2%(*#+'/-/3

@!"#$%&'()#*+,-#

causalitycharacter

whatwho cause-effect

cause effect

smart game

time

before while

before after

while after

before while after

@!"#$%&'()#*+,-#

causalitycharacter

whatwho cause-effect

cause effect

smart game

time

before while

before after

while after

before while after

@!"#$%&'()#*+,-#

causalitycharacter

whatwho cause-effect

cause effect

smart game

time

before while

before after

while after

before while after

@!"#$%&'()*+,(-#*#!"#$#.,%/0#1,%#%$"&'(!

2)%34)3%'

@5"#6/&7*8-#*#)*"+,$#*(0#-$&"!.!'/",,01$2$/34$15.%,&

@9"#:';,/3+,(-#*#*$#'6")7.#"3/",,01!$($%"7$&15.%,&

automated

generatetextual smart game

instances

revisetextual smart game

instances

illustrateinstance-dependent

components

generatesmart games

manual

@!"#$%&#'&(&)*+,&-.#*/#01,&2

automated

generatetextual smart game

instances

revisetextual smart game

instances

illustrateinstance-dependent

components

generatesmart games

manual

@!"#$%&#'&(&)*+,&-.#*/#01,&2

!"# $% !"#&$%

!"#$% !"#$% !"#$% &'()

@!"#$%&#'()*+,&-#.&/&0+12/#23#4&546+7#.+8&,

Little Hugh Shilling was

a great explorer...

!"# $% !"#&$%

!"#$% !"#$% !"#$% &'()

@!"#$%&#'()*+,&-#.&/&0+12/#23#4&546+7#.+8&,

Little Hugh Shilling was

a great explorer...

<Document>[…]

<EVENT id="16"…>explorer</EVENT>

[…]<TLINK

relType="INCLUDES

!"# $% !"#&$%

!"#$% !"#$% !"#$% &'()

@!"#$%&#'()*+,&-#.&/&0+12/#23#4&546+7#.+8&,

Little Hugh Shilling was

a great explorer...

<Document>[…]

<EVENT id="16"…>explorer</EVENT>

[…]<TLINK

relType="INCLUDES

<Document>[…]

<EVENT id="16"…>explorer</EVENT>

[…]<TLINK

relType="INCLUDES">

<TLINK deduced="TRUE"

relType=”BEFORE”>

!"# $% !"#&$%

!"#$% !"#$% !"#$% &'()

@!"#$%&#'()*+,&-#.&/&0+12/#23#4&546+7#.+8&,

Little Hugh Shilling was

a great explorer...

<Document>[…]

<EVENT id="16"…>explorer</EVENT>

[…]<TLINK

relType="INCLUDES

<Document>[…]

<EVENT id="16"…>explorer</EVENT>

[…]<TLINK

relType="INCLUDES">

<TLINK deduced="TRUE"

relType=”BEFORE”>

!"#$%&#'($)#&*!+,%-+#.+%&&#+)/01234520*6.7(8.9(:.9()+,-8;<<<

!"# $% !"#&$%

!"#$% !"#$% !"#$% &'()

@!"#$%&#'()*+,&-#.&/&0+12/#23#4&546+7#.+8&,

Little Hugh Shilling was

a great explorer...

<Document>[…]

<EVENT id="16"…>explorer</EVENT>

[…]<TLINK

relType="INCLUDES

<Document>[…]

<EVENT id="16"…>explorer</EVENT>

[…]<TLINK

relType="INCLUDES">

<TLINK deduced="TRUE"

relType=”BEFORE”>

!"#$%&#'($)#&*!+,%-+#.+%&&#+)/01234520*6.7(8.9(:.9()+,-8;<<<

automated

generatetextual smart game

instances

revisetextual smart game

instances

illustrateinstance-dependent

components

generatesmart games

manual

@!"#$%&#'&(&)*+,&-.#*/#01,&2

@!"#$%&#'&()*)+,#+-#.&/.012#314&*

5+6%)&#7+4&*#8+9,#.%&#*.&6*

He had never been beaten before,

since he only ever raced with kids who

were smaller and slower than him.

He wanted a rematch, so the two boys

set off again. Ben was paddling as fast

as he could, still he didn’t make it to

the wall before Luke. It was

completely unfair, he thought. Luke

was so much faster. No sooner had

they climbed out of the water, than he

saw his sister coming down the steps.

She was smiling at Ben and gave him

a playful pat on the shoulder. She also

gave Ben a friendly speech about

winners and losers.

New

!"#$%"&"'(!)*+"#"'(

!"#$%"+%,*-($,'

@!"#$%&#'&()*)+,#+-#.&/.012#314&*

5+6%)&#7+4&*#8+9,#.%&#*.&6*

He had never been beaten before,

since he only ever raced with kids who

were smaller and slower than him.

He wanted a rematch, so the two boys

set off again. Ben was paddling as fast

as he could, still he didn’t make it to

the wall before Luke. It was

completely unfair, he thought. Luke

was so much faster. No sooner had

they climbed out of the water, than he

saw his sister coming down the steps.

She was smiling at Ben and gave him

a playful pat on the shoulder. She also

gave Ben a friendly speech about

winners and losers.

New

!"#$%"&"'&!"#$%"(&"'&%

!"#$%")"*&!+,("#"*&

!"#$%"(%-,.&$-*

automated

generatetextual smart game

instances

revisetextual smart game

instances

illustrateinstance-dependent

components

generatesmart games

manual

@!"#$%&#'&(&)*+,&-.#*/#01,&2

@!"#$%&#'(()*+,-./0#/1#

!"#$%&#'($)#&*!#+#,)-./01231*!"#$%&'(#%)*+,,,!45%.4#-4%&&#4)016789:71*-%('.%/'0%/'+&12.3,,,!45%.4#-4%&&#4)01;8<7:1*!"#$%/'0%0)%4*05,,,!45%.4#-4%&&#4)01=:9>?1*61#%('.%"'.,,,

@!"#$%&#'(()*+,-./0#/1#

!"#$%&#'($)#&*!#+#,)-./01231*!"#$%&'(#%)*+,,,!45%.4#-4%&&#4)016789:71*-%('.%/'0%/'+&12.3,,,!45%.4#-4%&&#4)01;8<7:1*!"#$%/'0%0)%4*05,,,!45%.4#-4%&&#4)01=:9>?1*61#%('.%"'.,,,

@!"#$%&#'(()*+,-./0#/1#

!"#$%&#'($)#&*!#+#,)-./01231*!"#$%&'(#%)*+,,,!45%.4#-4%&&#4)016789:71*-%('.%/'0%/'+&12.3,,,!45%.4#-4%&&#4)01;8<7:1*!"#$%/'0%0)%4*05,,,!45%.4#-4%&&#4)01=:9>?1*61#%('.%"'.,,,

automated

generatetextual smart game

instances

revisetextual smart game

instances

illustrateinstance-dependent

components

generatesmart games

manual

@!"#$%&#'&(&)*+,&-.#*/#01,&2

!"#$%&"#%'"()*(+$&,

!"#$

@!"#$%&#'&(&)*+,(#,-#'*.&/

!"#$%&#'($)#&*!+,%-+#.+%&&#+)/01234520*6.7(8.9(:.9()+,-8;<<<!+,%-+#.+%&&#+)/063=250*3&#>.9(:.:%."?:@<<<!+,%-+#.+%&&#+)/0A54BC0*=,#.7(8.&(8<<<!#D#8).->/0EF0*3&#>.+(7#.%?)<<<

!"#$%&"#%'"()*(+$&,

!"#$

!"#$%&#'($)#&*!"#$%"&'"$((&")*+,-./0-+12'345'647'64)"#%58999!"#$%"&'"$((&")*+2.:-0+1.(&;'647'7$'<=7>999!"#$%"&'"$((&")*+?0/@A+1:#&'345'(45999!&B&5)'%;*+CD+1.(&;'"43&'$=)999

@!"#$%&#'&(&)*+,(#,-#'*.&/

!"#$%&"#%'"()*(+$&,

!"#$

!"#$%&#'($)#&*!+,%-+#.+%&&#+)/01234520*!"#$%"&$'"&$()*+%,---!+,%-+#.+%&&#+)/0637250*3&#8.9(:.:%.";:<===!+,%-+#.+%&&#+)/0>54?@0*.*/"#$%"0$%---!#A#B).-8/0CD0*10/2")$#/"34(---

@!"#$%&#'&(&)*+,(#,-#'*.&/

!"#$%&"#%'"()*(+$&,

!"#$

!"#$%&#'($)#&*!+,%-+#.+%&&#+)/01234520*!"#$%"&$'"&$()*+%,---!+,%-+#.+%&&#+)/0637250*3&#8.9(:.:%.";:<===!+,%-+#.+%&&#+)/0>54?@0*.*/"#$%"0$%---!#A#B).-8/0CD0*10/2")$#/"34(---

@!"#$%&#'&(&)*+,(#,-#'*.&/

@!"#$%&'()*+,(-#*#!"#$#.,%/0#1,%#%$"&'(!

2)%34)3%'

@5"#6/&7*8-#*#)*"+,$#*(0#-$&"!.!'/",,01$2$/34$15.%,&

@9"#:';,/3+,(-#*#*$#'6")7.#"3/",,01!$($%"7$&15.%,&

@<"#=,%*/'-#>*7'#,?'%

@!"#$%&'()*+%&*#,&-#%&./%+&/#0%12

• !"#3+40.5%+&6"#– &%34(#,55(+',7%&*#%8#

9)6%:,64-#;4,*%&+&/#<#=>?

• #$%&'(&)*+,#3+40.5%+&6"#– /)+-4(+&4*#,&-#81,:40%12*#

8%1#4-)',7%&,(#/,:4*

• -./'(&)*+,#3+40.5%+&6"– )*41.'4&614-#<#43+-4&'4.

@,*4-#-4*+/&

!"#$%&'("#'• !"#3+40.5%+&6"#4A5416#B4)1+*7'*#

8%1#/4&41,7%&C#4D/D– %8#5(,)*+@(4#-+*61,'6%1*

• #$%&'(&)*+,#3+40.5%+&6"#– DDD#6B,6#,14#54-,/%/+',((E#

4F4'734#8%1#*54'+,(.&44-#(4,1&41*

• -./'(&)*+,#3+40.5%+&6"– +&61%-)'4#'%.-4*+/&#+&#6B4#'E'(4

)#*+"(#+,-"./

@!"#$%&'()*+%&*#,&-#%&./%+&/#0%12

• !"#3+40.5%+&6"#– &%34(#,55(+',7%&*#%8#

9)6%:,64-#;4,*%&+&/#<#=>?

• #$%&'(&)*+,#3+40.5%+&6"#– /)+-4(+&4*#,&-#81,:40%12*#

8%1#4-)',7%&,(#/,:4*

• -./'(&)*+,#3+40.5%+&6"– )*41.'4&614-#<#43+-4&'4.

@,*4-#-4*+/&

!"#$%&'("#'• !"#3+40.5%+&6"#4A5416#B4)1+*7'*#

8%1#/4&41,7%&C#4D/D– %8#5(,)*+@(4#-+*61,'6%1*

• #$%&'(&)*+,#3+40.5%+&6"#– DDD#6B,6#,14#54-,/%/+',((E#

4F4'734#8%1#*54'+,(.&44-#(4,1&41*

• -./'(&)*+,#3+40.5%+&6"– +&61%-)'4#'%.-4*+/&#+&#6B4#'E'(4

)#*+"(#+,-"./

@!"#$%&'()*+%&*#,&-#%&./%+&/#0%12

• !"#3+40.5%+&6"#– &%34(#,55(+',7%&*#%8#

9)6%:,64-#;4,*%&+&/#<#=>?

• #$%&'(&)*+,#3+40.5%+&6"#– /)+-4(+&4*#,&-#81,:40%12*#

8%1#4-)',7%&,(#/,:4*

• -./'(&)*+,#3+40.5%+&6"– )*41.'4&614-#<#43+-4&'4.

@,*4-#-4*+/&

!"#$%&'("#'• !"#3+40.5%+&6"#4A5416#B4)1+*7'*#

8%1#/4&41,7%&C#4D/D– %8#5(,)*+@(4#-+*61,'6%1*

• #$%&'(&)*+,#3+40.5%+&6"#– DDD#6B,6#,14#54-,/%/+',((E#

4F4'734#8%1#*54'+,(.&44-#(4,1&41*

• -./'(&)*+,#3+40.5%+&6"– +&61%-)'4#'%.-4*+/&#+&#6B4#'E'(4

)#*+"(#+,-"./

@!"#$%&'()*+%&*#,&-#%&./%+&/#0%12

• !"#3+40.5%+&6"#– &%34(#,55(+',7%&*#%8#

9)6%:,64-#;4,*%&+&/#<#=>?

• #$%&'(&)*+,#3+40.5%+&6"#– /)+-4(+&4*#,&-#81,:40%12*#

8%1#4-)',7%&,(#/,:4*

• -./'(&)*+,#3+40.5%+&6"– )*41.'4&614-#<#43+-4&'4.

@,*4-#-4*+/&

!"#$%&'("#'• !"#3+40.5%+&6"#4A5416#B4)1+*7'*#

8%1#/4&41,7%&C#4D/D– %8#5(,)*+@(4#-+*61,'6%1*

• #$%&'(&)*+,#3+40.5%+&6"#– DDD#6B,6#,14#54-,/%/+',((E#

4F4'734#8%1#*54'+,(.&44-#(4,1&41*

• -./'(&)*+,#3+40.5%+&6"– +&61%-)'4#'%.-4*+/&#+&#6B4#'E'(4

)#*+"(#+,-"./

@!"#$%&'()*+%&*#,&-#%&./%+&/#0%12

• !"#3+40.5%+&6"#– &%34(#,55(+',7%&*#%8#

9)6%:,64-#;4,*%&+&/#<#=>?

• #$%&'(&)*+,#3+40.5%+&6"#– /)+-4(+&4*#,&-#81,:40%12*#

8%1#4-)',7%&,(#/,:4*

• -./'(&)*+,#3+40.5%+&6"– )*41.'4&614-#<#43+-4&'4.

@,*4-#-4*+/&

!"#$%&'("#'• !"#3+40.5%+&6"#4A5416#B4)1+*7'*#

8%1#/4&41,7%&C#4D/D– %8#5(,)*+@(4#-+*61,'6%1*

• #$%&'(&)*+,#3+40.5%+&6"#– DDD#6B,6#,14#54-,/%/+',((E#

4F4'734#8%1#*54'+,(.&44-#(4,1&41*

• -./'(&)*+,#3+40.5%+&6"– +&61%-)'4#'%.-4*+/&#+&#6B4#'E'(4

)#*+"(#+,-"./