

No.frase: sonnet8_1 - sonnet8 by William Shakespeare .
lunghezza frase  5  parole.

Augmented Head Dependent Indexed Structures

'ncmod-specif'('Shakespeare'-sn2,'William').
'arg_mod-agent'(by,be-1,'Shakespeare'-sn2).
'subj-theme_bound'(be,sonnet8-sn1).
voice(active,cl1,be).
tense(pres,cl1,be).

ref_ex(sn2,id1-1,27,Shakespeare,[+ref,def0,nil,nil,-pro,-ana,+class],3,mas,sing,[place,umano],ogg/agent)
ref_ex(sn3,id2-1,75,William,[+ref,def0,nil,nil,-pro,-ana,+class],3,mas,sing,[place,umano],ncmod/attr)
ref_ex(sn1,id3-1,1029,sonnet8,[+arb|_1819702],3,nil,sing,[istituzione],sogg/tema_bound)


No.frase: sonnet8_2 - music to hear , why hear-st thou music sadly ?
lunghezza frase  10  parole.

Augmented Head Dependent Indexed Structures

'adj-subj_disc'(be-2,sadly-sn4).
'obj-theme_unaff'(be-2,music-sn3).
'subj-experiencer'(t,thou-sn2).
'cmod-topic'(nil,music,hear).
'subj-experiencer'(hear,music-sn1).
voice(active,cl2,hear).
tense(pres,cl2,hear).

ref_ex(sn1,id4-3,1028,music,[+arb|_1868656],3,neu,sing,[astratto,attivita,informa],sogg/esperiente)


No.frase: sonnet8_3 - sweets with sweets war not , joy delights in joy :
lunghezza frase  11  parole.

Augmented Head Dependent Indexed Structures

'adj-(mod)'(not,delight,war).
'ncmod-specif'(delight-sn3,joy).
'ncmod-locativo'(in,war-1,joy-sn4).
'obj-theme'(war,delight-sn3).
'iobj-goal'(with,war-1,sweet-sn2).
'subj-actor'(war,sweet-sn1).
voice(active,cl3,war).
tense(pres,cl3,war).

ref_ex(sn3,id5-4,131,delight,[+ref,def0,nil,nil,-pro,-ana,+class],3,neu,plur,[emotivo],ogg/theme)
ref_ex(sn5,id6-4,175,joy,[+ref,def0,nil,nil,-pro,-ana,+class],3,neu,sing,[astratto,emotivo],ncmod/attr)
ref_ex(sn1,sweet,[+arb|_1930510],3,mas,plur,[astratto,edible,oggetto],sogg/actor)
ref_ex(sn4,id6-4,1035,joy,[+arb|_1930812],3,neu,sing,[astratto,emotivo],ogg/locativo)
ref_ex(sn2,sweet,[+arb|_1930640],3,mas,plur,[astratto,edible,oggetto],obl/comitativo)


No.frase: sonnet8_4 - why lov-st thou that which thou receiv-st not gladly , or_else receiv-st with pleasure thine annoy ?
lunghezza frase  17  parole.

Augmented Head Dependent Indexed Structures

ext(be,[thou]).
'ncmod-specif'(thine-sn6,pleasure).
'ncmod-specif'(thou-sn3,that).
'ncmod-specif'(that-sn3,which).
'ncmod-comitativo'(with,receive-_2027734,thine-sn6).
'adj-subj_disc'(receive-_2027708,or_else-sn5).
'adj-subj_disc'(receive-_2027684,gladly-sn4).
'subj-recipient'(t,thou-sn3).
'cmod-topic'(nil,thou,receive).
voice(active,nil,receive).
'subj-theme_bound'(be,thou-sn2).
voice(active,cl4,be).
tense(pres,cl4,be).
'subj-agent'(love,you-sn1).
voice(active,nil,love).

ref_ex(sn2,thou,[+ref,+def,nil,nil,+pro,+ana,+me],pers=2,any,sing,[umano],sogg/tema_bound)
ref_ex(sn1,you,[+arb|_2012522],pers=2,any,sing,[umano],sogg/agente)


No.frase: sonnet8_5 - if the true concord of well tunèd sounds , by unions married do offend thine ear , they do but sweetly chide thee , who confounds in singleness the parts that thou shouldst bear .
lunghezza frase  35  parole.

Augmented Head Dependent Indexed Structures

ext(shall,[thee]).
'cmod-subord'(if,shall-cl1).
'obj-prop'(shall-_2196916,bear-sn13).
'subj-theme_unaff'(t,thou-sn12).
'cmod-topic'(that,part-sn10,shall).
'obj-prop'(shall,part-sn10).
'ncmod-locativo'(in,confound-cl8,singleness-sn11).
'cmod-topic'(who,thee-sn9,confound).
'subj-agent'(confound,thee-sn9).
voice(active,cl8,confound).
tense(pres,cl8,confound).
'obj-theme_aff'(be-2,part-sn10).
'obj-theme'(be-2,thee-sn9).
'adj-(mod)'(sweetly,thine,chide).
'subj-agent'(chide,you-sn8).
'adj-(mod)'(they,thine,do).
'subj-theme_unaff'(do,you-sn7).
'ncmod-specif'(ear-sn4,thine).
mod(sn4,ear,thine).
'ncmod-specif'(marry-sn3,union).
'ncmod-specif'(sound-sn2,tuned).
mod(sn2,sound,tuned).
'ncmod-specif'(concord-sn1,true).
'ncmod-specif'(concord-sn1,true).
mod(sn1,concord,true).
'obj-theme'(offend,ear-sn4).
'arg_mod-agent'(by,offend-1,marry-sn3).
'obj-experiencer'(offend,sound-sn2).
'subj-cause'(offend,concord-sn1).
aux(do,do).
aux(offend,do).
voice(active,nil,shall).
voice(active,cl7,chide).
tense(pres,cl7,chide).
voice(active,cl6,do).
tense(pres,cl6,do).
voice(active,cl5,offend).
tense(pres,cl5,offend).

pas(sonnet8_5,cl8-confound,ncmod/locativo/singleness)
pas(sonnet8_5,sn11,shall,obj/prop,bear,sn13)
pas(sonnet8_5,sn11,singleness,ncmod/locativo,in,confound)
pas(sonnet8_5,1,offend,arg_mod/agent,marry,sn3)
pas(sonnet8_5,sn3,marry,arg_mod/agent,by,offend)
pas(sonnet8_5,2,be,obj/theme,thee,sn9)
pas(sonnet8_5,2,be,obj/theme_aff,part,sn10)
pas(sonnet8_5,sn10,part,topic,that,shall)
pas(sonnet8_5,shall,thee,topic,who,confound)
pas(sonnet8_5,sn3,marry,specif,union)
pas(sonnet8_5,sn1,concord,mod,true)
pas(sonnet8_5,sn1,concord,specif,true)
ref_ex(sn8,you,[+arb|_2172956],pers=2,any,sing,[umano],sogg/agent)
ref_ex(sn10,id11-6,32,part,[+ref,+def,nil,nil,-pro,-ana,+class],3,mas,plur,[astratto,attivita,body_part,informa,oggetto,relat,strumento,umano],ogg/theme_aff)
ref_ex(sn7,you,[+arb|_2172526],pers=2,any,sing,[umano],sogg/tema_nonaff)
ref_ex(sn9,thee,[+ref,+def,nil,nil,+pro,+ana,+me],pers=2,mas,sing,[umano],subj/theme)
ref_ex(sn3,id8-6,28,marry,[+ref,def0,nil,nil,-pro,-ana,+class],3,neu,sing,[istituzione],ogg/agent)
ref_ex(sn4,id7-6,31,ear,[+ref,+def,nil,nil,-pro,-ana,+class],3,neu,sing,[astratto,body_part,plant,umano],ogg/theme)
ref_ex(sn2,sound,[+ref,def0,nil,nil,-pro,-ana,+class],3,mas,plur,[astratto,attivita,cambia,evento,oggetto],ogg/experiencer)
ref_ex(sn5,id9-6,76,union,[+ref,def0,nil,nil,-pro,-ana,+class],3,neu,plur,[attivita,evento,istituzione,oggetto,stato,strumento],ncmod/attr)
ref_ex(sn1,id10-6,125,concord,[+ref,+def,nil,nil,-pro,-ana,+class],3,neu,sing,[evento,nquant,stato],sogg/cause)


No.frase: sonnet8_6 - Mark how one string , sweet husband to another , strikes each in each by mutual ordering ;
lunghezza frase  18  parole.

Augmented Head Dependent Indexed Structures

'ncmod-specif'(husband-sn4,sweet).
mod(sn4,husband,sweet).
'ncmod-specif'(husband-sn3,you).
'ncmod-specif'(husband-sn3,sweet).
mod(sn3,husband,sweet).
'obj-theme'(order,mutual-sn9).
'iobj-modal'(by,order-2,[]-[]).
'iobj-goal'(in,order-2,each-sn8).
'obj-theme_aff'(order,each-sn7).
'obj-theme'(order,strike-sn6).
'iobj-paziente'(to,order-2,another-sn5).
'subj-agent'(order,husband-sn4).
'subj-agent'(order,husband-sn3).
'subj-theme'(string-5,you-sn1).
'xcomp-prop'(nil,order-cl11,string).
'obj-theme_unaff'(mark,one-sn2).
'subj-actor'(mark,you-sn1).
voice(active,cl11,order).
tense(past,cl11,order).
voice(active,cl10,string).
tense(pres,cl10,string).
voice(active,cl9,mark).
tense(pres,cl9,mark).

ref_ex(sn10,you,[+ref,def0,nil,nil,-pro,-ana,+class],pers=2,any,sing,[umano],ncmod/attr)
ref_ex(sn3,id12-10,27,husband,[+ref,def0,nil,nil,-pro,-ana,+class],3,mas,sing,[umano],ogg/agente)
ref_ex(sn4,id12-10,25,husband,[+ref,def0,nil,nil,-pro,-ana,+class],3,mas,sing,[umano],sogg/agente)
ref_ex(sn5,another,[-ref,def0,nil,nil,+pro,+ana,+me],3,mas,sing,[evaluative],obl/modal)
ref_ex(sn6,id13-10,1029,strike,[+arb|_2305456],3,neu,plur,[attivita],subj/theme)
ref_ex(sn7,each,[+arb|_2305562],3,nil,nil,[legale],ogg/theme_aff)
ref_ex(sn8,each,[+arb|_2305654],3,nil,nil,[entity],ogg/locativo)
ref_ex(sn9,mutual,[-ref,def0,nil,nil,+pro,+ana,+me],3,mas,sing,[evaluative],xadj/theme)
ref_ex(sn1,you,[+arb|_2304258],pers=2,any,sing,[umano],sogg/actor)
ref_ex(sn2,one,[+arb|_2304370],3,mas,sing,[umano],subj/tema_nonaff)


No.frase: sonnet8_7 - resembling sire and child and happy mother , who all in one , one pleasing note do sing :
lunghezza frase  19  parole.

Augmented Head Dependent Indexed Structures

'ncmod-specif'(happy,sire_and_child_and_mother-sn8).
'ncmod-specif'(happy,and([child,mother])-[sn3,sn4]).
'ncmod-specif'(happy,sire-sn2).
mod([sn3,sn4],and([child,mother]),happy).
mod(sn2,sire,happy).
'obj-experiencer'(please-cl13,one-sn6).
'subj-tema_emot'(t,all-sn5).
'ccomp-prop'(nil,note,please).
'subj-agent'(resembling-2,note-sn1).
'obj-theme'(sing,sire_and_child_and_mother-[sn2,[sn3,sn4]]).
'xcomp-purpose'(nil,sing-1,resembling-2).
'subj-agent'(sing,note-sn1).
aux(sing,do).
voice(active,cl14,sing).
tense(pres,cl14,sing).
voice(active,cl13,please).
tense(past,cl13,please).
voice(active,cl12,resemble).
tense(past,cl12,resemble).

pas(sonnet8_7,cl13-please,obj/experiencer/one)
pas(sonnet8_7,1,sing,xcomp/purpose,resembling,2)
pas(sonnet8_7,2,resembling,subj/agent,note,sn1)
pas(sonnet8_7,2,resembling,xcomp/purpose,nil,sing)
pas(sonnet8_7,note,prop,nil,please)
pas(sonnet8_7,sn2,sire,mod,happy)
ref_ex([sn2,[sn3,sn4]],id14-8,33,sire_and_child_and_mother,[+ref,def0,nil,nil,-pro,-ana,+class],3,fem,sing,[animato,umano,any,attivita,body_part,oggetto,strumento,umano,astratto,body_part,sostanza,umano],ogg/theme)
ref_ex(sn2,happy,[-ref,def0,nil,nil,+pro,+ana,+me],3,mas,sing,[emotivo],ncmod/attr)
ref_ex(sn1,id15-8,1025,note,[+arb|_2416578],3,neu,sing,[astratto,attivita,informa,oggetto],sogg/agente)


No.frase: sonnet8_8 - whose speechless song being many , seeming one , sings this to thee :
lunghezza frase  14  parole.

Augmented Head Dependent Indexed Structures

ext(sing,[thee]).
'iobj-goal'(to,sing-1,thee-sn6).
'xcomp-prop'(sing,this-sn5).
'subj-agent'(sing,one-sn4).
'ncmod-specif'(song-sn1,speechless).
mod(sn1,song,speechless).
'subj-tema_bound'(be-2,whose-sn2).
'xcomp-prop'(seem,many-sn3).
'xcomp-purpose'(nil,seem-1,be-2).
'xcomp-prop'(seem,whose-sn2).
'subj-actor'(seem,song-sn1).
voice(active,cl17,sing).
tense(pres,cl17,sing).
voice(active,cl16,seem).
tense(past,cl16,seem).
voice(active,cl15,be).
tense(past,cl15,be).

ref_ex(sn4,one,[+arb|_2506266],3,mas,sing,[umano],sogg/agente)
ref_ex(sn5,this,[+arb|_2506396],3,mas,sing,[oggetto,umano],xcomp/prop)
ref_ex(sn6,thee,[+arb|_2506508],pers=2,mas,sing,[umano],ogg/goal)
ref_ex(sn1,id16-9,28,song,[+ref,def0,nil,nil,-pro,-ana,+class],3,neu,sing,[astratto,attivita,evento,informa,oggetto],sogg/actor)
ref_ex(sn2,whose,[+arb|_2505226],3,mas,sing,[umano,istituzione,animato],ogg/prop)
ref_ex(sn3,many,[+arb|_2505332],3,nil,plur,[legale],ogg/prop)


No.frase: sonnet8_9 - " Thou single wilt prove none " .
lunghezza frase  8  parole.

Augmented Head Dependent Indexed Structures

ext(prove,[thou]).
'ncmod-specif'(single-sn1,thou).
'obj-theme_unaff'(prove,none-sn2).
'subj-actor'(prove,single-sn1).
det(sn1,single,thou).
voice(active,cl18,prove).
tense(pres,cl18,prove).

ref_ex(sn3,thou,[+ref,+def,nil,nil,+pro,-ana,+me],pers=2,any,sing,[umano],ncmod/attr)
ref_ex(sn1,single,[+ref,def0,thou,nil,-pro,-ana,+class],3,mas,sing,[attivita],sogg/actor)
ref_ex(sn2,none,[+arb|_2566834],3,nil,plur,[legale],ogg/tema_nonaff)
sonnet8_1
[subj-1-sonnet8-[subj-[sonnet8-n-sn]],obl-1-Shakespeare-[obl-[by-pda-sp,William-n-sn,Shakespeare-n-sn]],ibar-2-be-(ibar-[(is)-vc-_1826976]),tense-cl1-((is)-be)-(pres-[(is)-vc-_1827030]),voice-cl1-((is)-be)-(active-[(is)-vc-_1827084])]

sonnet8_2
[sem-(1-1)-[(?)-puntint-fint]-(fint-[(?)-puntint-fint]),subj-1-music-[subj-[music-n-sn]],tense-cl2-(hear-hear)-(pres-[to-p-_1877640,hear-vin-ibar]),voice-cl2-(to-hear)-(active-[to-p-_1877712,hear-vin-ibar]),vcomp-1-hear-[vcomp-[to-p-_1877784,hear-vin-ibar]],sem-(1-2)-[why-rel-f2]-(f2-[why-rel-f2]),ibar-2-hear-(ibar-[hearest-vt-ibar]),subj-2-[pron,thou]-[subj-[thou-pron-sn]],obj-2-music-[obj-[music-n-sn]]]

sonnet8_3
[subj-1-sweets-[subj-[sweets-n-sn]],obl-1-sweets-[obl-[with-p-sp,sweets-n-sn]],tense-cl3-(war-war)-(pres-[war-vin-ibar]),voice-cl3-(war-war)-(active-[war-vin-ibar]),ibar-2-war-(ibar-[war-vin-ibar]),obj-2-delights-[obj-[joy-n-sn,delights-n-sn]],obl-2-joy-[obl-[in-p-sp,joy-n-sn]]]

sonnet8_4
[sem-(1-1)-[(?)-puntint-fint]-(fint-[(?)-puntint-fint]),sem-(1-1)-[why-int-fint]-(fint-[why-int-fint]),voice-nil-(lovest-love)-(active-[lovest-vin-ibar]),ibar-1-love-(ibar-[lovest-vin-ibar]),subj-1-[pron,thou]-[subj-[thou-pron-sn,f2-[f2-[sn-[that-pron-sn,which-rel-f2,thou-pron-sn]],ibar-[receivest-vin-ibar],savv-[not-neg-savv],savv-[gladly-avv-savv],fp-[(,)-punt-fp],savv-[or_else-avv-savv],ibar-[receivest-vin-ibar],sp-[with-p-sp,pleasure-n-sn,thine-n-1],ibar-[annoy-vin-ibar]]]],ibar-1-be-(ibar-[(is)-vc-_2029058]),tense-cl4-((is)-be)-(pres-[(is)-vc-_2029112]),voice-cl4-((is)-be)-(active-[(is)-vc-_2029166]),voice-nil-(receivest-receive)-(active-[receivest-vin-ibar])]

sonnet8_5
[sem-(1-1)-if-(fs-[if-cosu-fs]),subj-1-well-[subj-[the-art-sn,true-ag-sn,concord-n-sn,(mod)-[of-p-sp,well-avv-savv]]],obj-1-sounds-[obj-[tuned-ag-sn,sounds-n-sn]],obl-3-married-[obl-[by-pda-sp,unions-n-sn,married-n-1]],tense-cl5-(do-offend)-(pres-[do-ausd-ibar,offend-vt-ibar]),voice-cl5-(do-offend)-(active-[do-ausd-ibar,offend-vt-ibar]),ibar-3-offend-(ibar-[do-ausd-ibar,offend-vt-ibar]),obj-3-ear-[obj-[thine-ag-sn,ear-n-sn]],subj-5-[pron,they]-[subj-[they-pron-sn]],tense-cl6-(do-do)-(pres-[do-ausd-ibar]),voice-cl6-(do-do)-(active-[do-ausd-ibar]),ibar-5-do-(ibar-[do-ausd-ibar]),sem-(5-6)-but-(fs-[but-cosu-fs]),tense-cl7-(chide-chide)-(pres-[chide-vin-ibar]),voice-cl7-(chide-chide)-(active-[chide-vin-ibar]),ibar-6-chide-(ibar-[chide-vin-ibar]),subj-7-[pron,thee]-[subj-[thee-pron-sn,f2-[f2-[who-rel-f2],f-[subj-pro,ibar-[confounds-vt-ibar],sp-[in-p-sp,singleness-n-sn]]]]],sem-(7-8)-[that-rel-f2]-(f2-[that-rel-f2]),subj-8-[pron,thou]-[subj-[thou-pron-sn]],voice-nil-(shouldst-shall)-(active-[shouldst-vin-ibar]),ibar-8-shall-(ibar-[shouldst-vin-ibar]),obj-8-bear-[obj-[bear-n-sn]],obj-7-parts-[obj-[the-art-sn,parts-n-sn,f2-[f2-[that-rel-f2],subj-[thou-pron-sn],ibar-[shouldst-vin-ibar],obj-[bear-n-sn]]]],ibar-6-do-do,tense-cl8-(confounds-confound)-(pres-[confounds-vt-ibar]),voice-cl8-(confounds-confound)-(active-[confounds-vt-ibar]),ibar-1-shall-[shouldst-vin-ibar]]

sonnet8_6
[tense-cl9-(mark-mark)-(pres-[mark-vin-ibar]),voice-cl9-(mark-mark)-(active-[mark-vin-ibar]),ibar-1-mark-(ibar-[mark-vin-ibar]),sem-(1-2)-[how-int-fint]-(fint-[how-int-fint]),subj-2-[pron,one]-[subj-[one-pron-sn]],tense-cl10-(string-string)-(pres-[string-vin-sv5]),voice-cl10-(string-string)-(active-[string-vin-sv5]),vcomp-2-string-[vcomp-[string-vin-sv5]],subj-2-husband-[subj-[sweet-ag-sn,husband-n-sn]],obl-2-another-[obl-[to-p-sp,another-ag-sa]],subj-3-strikes-[subj-[strikes-n-sn]],obj-3-each-[obj-[each-q-sn]],obl-3-each-[obl-[in-p-sp,each-q-sn]],xadj-4-mutual-[xadj-[mutual-ag-sa]],tense-cl11-(ordering-order)-(past-[ordering-vin-sv5]),voice-cl11-(ordering-order)-(active-[ordering-vin-sv5]),vcomp-4-order-[vcomp-[ordering-vin-sv5]]]

sonnet8_7
[tense-cl12-(resembling-resemble)-(past-[resembling-vin-sv5]),voice-cl12-(resembling-resemble)-(active-[resembling-vin-sv5]),vcomp-1-resemble-[vcomp-[resembling-vin-sv5]],obj-1-mother-[obj-[sire-n-sn,and-cong-sn,child-n-sn,and-cong-fc,happy-ag-sn,mother-n-sn]],sem-(1-2)-[who-rel-f2]-(f2-[who-rel-f2]),subj-2-all-[subj-[all-qc-sn,obl-[in-p-sp,one-num-sn]]],subj-2-[pron,one]-[subj-[one-pron-sn]],tense-cl13-(pleasing-please)-(past-[pleasing-vin-sv5]),voice-cl13-(pleasing-please)-(active-[pleasing-vin-sv5]),vcomp-2-please-[vcomp-[pleasing-vin-sv5]],subj-3-note-[subj-[note-n-sn]],tense-cl14-(do-sing)-(pres-[do-ausd-ibar,sing-vin-ibar]),voice-cl14-(do-sing)-(active-[do-ausd-ibar,sing-vin-ibar]),ibar-3-sing-(ibar-[do-ausd-ibar,sing-vin-ibar]),ibar-8-do-do]

sonnet8_8
[sem-(1-1)-[whose-int-fint]-(fint-[whose-int-fint]),subj-1-song-[subj-[speechless-ag-sn,song-n-sn]],tense-cl15-(being-be)-(past-[being-aueg-sv5]),voice-cl15-(being-be)-(active-[being-aueg-sv5]),vcomp-1-be-[vcomp-[being-aueg-sv5]],subj-2-many-[subj-[many-q-sn]],tense-cl16-(seeming-seem)-(past-[seeming-v-ibar]),voice-cl16-(seeming-seem)-(active-[seeming-v-ibar]),ibar-2-seem-(ibar-[seeming-v-ibar]),subj-3-one-[subj-[one-num-sn]],tense-cl17-(sings-sing)-(pres-[sings-vt-ibar]),voice-cl17-(sings-sing)-(active-[sings-vt-ibar]),ibar-3-sing-(ibar-[sings-vt-ibar]),xcomp-3-this-[xcomp-[this-ag-sa]],obl-3-[pron,thee]-[obl-[to-p-sp,thee-pron-sn]]]

sonnet8_9
[sem-(1-1)-"-(fp-["-par-fp]),subj-1-single-[subj-[thou-pron-sn,single-n-100]],tense-cl18-(prove-prove)-(pres-[wilt-vsup-ibar,prove-vt-ibar]),voice-cl18-(wilt-prove)-(active-[wilt-vsup-ibar,prove-vt-ibar]),ibar-1-prove-(ibar-[wilt-vsup-ibar,prove-vt-ibar]),obj-1-none-[obj-[none-q-sn,"-par-1]]]

[sadly,war,not,not,not,annoy,not,offend,chide,ear,confounds,husband,strikes,resembling,speechless,seeming,wilt,none,none]
[sonnet8_1-[]/[],sonnet8_2-[]/[music,music],sonnet8_3-[]/[joy,delights,joy],sonnet8_4-[]/[lovest,receivest,gladly,receivest,pleasure],sonnet8_5-[]/[concord,tuned,sounds,married,sweetly,bear],sonnet8_6-[]/[mark,string,sweet,mutual,ordering],sonnet8_7-[]/[sire,happy,mother,pleasing,note,sing],sonnet8_8-[]/[song],sonnet8_9-[]/[prove]]
