Ajanilmausten säännöllisten lausekkeiden generointitulosesimerkkejä

Transkriptio

1 Ajanilmausten säännöllisten lausekkeiden generointitulosesimerkkejä gen_xslt-xre: monitaso RE(syyskuussa torstaisin klo ) = in + (in + m 09 wd 4 ) ival(h 10,h 16 ) syyskuu INE torstai ESS syyskuu INE to in September Thursday Sep Thu gen_xslt-xre: pv-kk RE(6. syyskuuta) = md 06 in + m syyskuu INE 6. syyskuu INE 6 in September 6 Sep after-before-1: in + after(m 03 ) in + before(m 06 ) maaliskuu GEN jälkeen ennen kesäkuu PTV maaliskuu GEN jälkeen ennen kesäkuu PTV after March before June after Mar before Jun also-1: RE(ma pe, välisenä aikana myös la) = ival(wd 1,wd 5 ) also(in + ival(md(m 10,md 01 ),md(m 05,md 31 )),wd 6 ) maanantai perjantai ja ma pe ja Monday Friday and on 1 October 31 May 1 October 31 May also Saturday Mon Fri and 1 Oct 31 May 1 Oct 31 May also Sat amount_over-1: RE(kaksi päivää yli kuukauden) = amount_over(period month,period day 2 ) 2 päivä PTV yli kuukausi 2 päivä PTV yli kuukausi 2 day PL more than a month 2 day PL more than a month 1

2 amount_under-1: RE(three weeks short of two years) = amount_under(period year 2,period week 3 ) 3 viikko PTV alle 2 vuosi PTV 3 viikko PTV alle 2 vuosi PTV 3 week PL less than 2 year PL 3 week PL less than 2 year PL at_earliest-1: RE(aikaisintaan alkaen) = at_earliest(from(ymd(y 2005,m 01,md 01 ))) alkaen alkaen from 1 January 2005 from 1 Jan 2005 at_latest-1: RE(at the latest by 28 February) = at_latest(from(md 28 in + m 02 )) 28. helmikuu INE alkaen 28. helmikuu INE alkaen from 28 in February from 28 Feb at_least-1: RE(at least until July 2004 ) = at_least(until(m 07 in + y 2004 )) heinäkuu 2004 asti heinäkuu 2004 asti until July 2004 until Jul 2004 at_most-1: RE(enintään asti) = at_most(until(ymd(y 2006,m 12,md 31 ))) asti asti until 31 December 2006 until 31 Dec 2006 before_within-1: 2

3 RE(ennen joulua) = before_within(christmasday,cal month ) ennen joulupäivä PTV ennen joulupäivä PTV before Christmas Day before Christmas Day beginning-1: RE(27.9. ja alkavat viikot) = beginning(cal week,md(m 09,md 26 ) md(m 10,md 04 )) ja alkava viikko ja alkava viikko the week beginning 26 September and 4 October the week beginning 26 Sep and 4 Oct consecutive_n-1: RE(kaksoispyhän ensimmäisenä pyhänä) = in + nth(2,holiday,max_sequence_n(holiday,2)) vapaapäivä 2. vapaapäivä ESS vapaapäivä 2. vapaapäivä ESS on 2nd holiday of holiday on 2nd holiday of holiday consecutive_n-2: RE(peräkkäisistä pyhistä viimeisenä) = in + last(holiday,max_sequence(holiday)) vapaapäivä ESS vapaapäivä ESS on holiday on holiday erotus-1: RE( lukuunottamatta jouluaattoa ja joulupäivää) = in + ival(ymd(y 2003,m 12,md 02 ),ymd(y 2004,m 01,md 02 )) (christmaseve christmasday) paitsi jouluaatto ja joulupäivä paitsi jouluaatto ja joulupäivä 2 December January 2004 except Christmas Eve and Christmas Day 2 Dec Jan 2004 except Christmas Eve and Christmas Day erotus-2: 3

4 RE(klo (ma klo )) = (ivalpt(hm 0830,hm 1530 ) in + wd 1 ) (in + wd 1 ivalpt(hm 0930,hm 1530 )) paitsi maanantai ESS ja maanantai ESS paitsi ma ja ma except on Monday and on Monday except Mon and Mon even-1: in + (wd 4 in + even(cal week,w 01 )) torstai ESS parillinen ADE ADE PL viikko ADE PL to parillinen ADE ADE PL viikko ADE PL Thursday in a even week PL Thu in a even week PL even_within-1: even_within(cal week,ivalt(w 01,w 52 w 53,cal week 53 )) parillinen PL viikko PL parillinen PL viikko PL a even week PL a even week PL every_nth-1: every_nth(2,wd 3,md(m 01,md 01 )) joka 2. keskiviikko joka 2. ke every 2nd Wednesday every 2nd Wed every_nth_within-1: every_nth_within(2,wd 3,cal year ) vuosi GEN joka 2. keskiviikko vuosi GEN joka 2. ke every 2nd Wednesday of the year every 2nd Wed of the year except2-1: RE(Mon Thurs ; Friday ; closed for lunch ) = in + ival(wd 1,wd 5 ) except2(in + ivalpt(h 09,h 17 ),in + ivalpt(h 12,h 13 )) 4

5 maanantai perjantai 9 17 paitsi ma pe 9 17 paitsi Monday Friday 9 17 except Mon Fri 9 17 except except3-1: RE(klo (ma klo )) = except3(ivalpt(hm 0830,hm 1530 ),in + wd 1,ivalpt(hm 0930,hm 1530 )) paitsi maanantai ESS jolloin paitsi ma jolloin except on Monday when except Mon when first_n-1: RE(on the first two Mondays of the month) = in + first_n(2,wd 1,cal month ) kuukausi GEN 2 ensimmäinen word PTV maanantai PTV kuukausi GEN 2 ensimmäinen word PTV ma PTV on the first word 2 Monday PL of the month the first word 2 Mon PL of the month first_n-2: RE(the first two weeks of the year) = first_n(2,period week,cal year ) vuosi GEN 2 ensimmäinen word PTV viikko PTV vuosi GEN 2 ensimmäinen word PTV viikko PTV the first word 2 week PL of the year the first word 2 week PL of the year following_n-1: RE(two Sundays following Christmas Day) = following_n(2,wd 7,christmasday) 2 joulupäivä PTV seuraava PTV sunnuntai PTV 2 joulupäivä PTV seuraava PTV su PTV 2 Sunday PL following Christmas Day 2 Sun PL following Christmas Day from-1: RE(one year starting from April 2004 ) = continuous(period year 1 ) in + from(m 04 in + y 2004 ) 1 vuosi PTV huhtikuu 2004 alkaen 5

6 1 vuosi PTV huhtikuu 2004 alkaen 1 year PL from April year PL from Apr 2004 fromt-1: period year fromt(ymd(y 2004,m 02,md 05 ),all) vuosi alkaen vuosi alkaen a year from 5 February 2004 a year from 5 Feb 2004 fromt-nth-1: RE(from Week 3 onwards in each semester) = fromt(nth(3,cal week,semester),semester) lukukausi GEN 3. viikko ELA alkaen lukukausi GEN 3. viikko ELA alkaen from the 3rd week of the semester from the 3rd week of the semester if_contained_in-1: RE(joulupäivää seuraava viikonloppu, jos joulupäivä on keskellä viikkoa) = following(weekend,contained_in(christmasday,non_weekend)) joulupäivä PTV jos se NOM sisältyä ACT PRES SG 3 keski SG ADE viikko SG PTV seuraava viikonloppu joulupäivä PTV jos se NOM sisältyä ACT PRES SG 3 keski SG ADE viikko SG PTV seuraava viikonloppu weekend following Christmas Day if it contain PASS PRES SG 3 midweek weekend following Christmas Day if it contain PASS PRES SG 3 midweek if_contains-1: RE(koko viikonloppu, jos sille osuu jouluaatto tai joulupäivä) = containing(weekend,christmaseve christmasday) viikonloppu jos se ALL osua ACT PRES SG 3 jouluaatto tai joulupäivä viikonloppu jos se ALL osua ACT PRES SG 3 jouluaatto tai joulupäivä weekend if it contain ACT PRES SG 3 Christmas Eve or Christmas Day weekend if it contain ACT PRES SG 3 Christmas Eve or Christmas Day ifnot_else_following-1: 6

7 RE(Wednesday (the following day when Wed is a holiday)) = ifnot_else_following(wd 3,holiday,cal day ) keskiviikko (seuraava päivä jos keskiviikko olla ACT PRES SG 3 vapaapäivä) ke (seuraava päivä jos ke olla ACT PRES SG 3 vapaapäivä) Wednesday (a following day if Wednesday be ACT PRES SG 3 holiday) Wed (a following day if Wed be ACT PRES SG 3 holiday) ival-eritaso-1: ivalt(in + md(m 06,md 20 ) h 16,md(m 06,md 23 ),period year ) June June 20 Jun Jun ival-except3-1: RE(8.30 (Monday 10.00) ) = ivalpt(except3(hm 0830,in + wd 1,hm 1000 ),hm 1600 ) 8.30 (maanantai ESS 10.00) (ma 10.00) (on Monday 10.00) (Mon 10.00) kesto-1: RE(viisi päivää) = cal day 5 5 päivä PTV 5 päivä PTV 5 day PL 5 day PL kesto-epajatk-1: RE(kaksi viikkoa) = duration_nc(period week 2 ) 2 viikko PTV 2 viikko PTV 2 week PL 2 week PL kesto-epajatk-kal-1: RE(kaksi (kalenteri)viikkoa) = cal week 2 in + all 7

8 2 viikko PTV 2 viikko PTV 2 week PL 2 week PL kesto-epajatk-vali-1: RE(4 10 tuntia) = duration_nc(ival_duration(period hour 4,period hour 10 )) 4 tunti PTV tunti PTV 4 tunti PTV tunti PTV 4 hour PL hour PL 4 hour PL hour PL kesto-lista-1: RE(6, 9 tai 12 kuukautta) = period month {6,9,12} 6, 9 ja 12 kuukausi PTV 6, 9 ja 12 kuukausi PTV 6, 9 and 12 month PL 6, 9 and 12 month PL kesto-max-1: RE(enintään kolme vuotta) = period year [0,3] enintään 3 vuosi PTV enintään 3 vuosi PTV at most 3 year PL at most 3 year PL kesto-max-2: RE(enintään kolme vuotta) = at_most(period year 3 ) 3 vuosi PTV 3 vuosi PTV 3 year PL 3 year PL kesto-min-1: RE(vähintään kahdeksan päivää) = period day [8, [ vähintään 8 päivä PTV vähintään 8 päivä PTV at least 8 day PL 8

9 at least 8 day PL kesto-min-2: RE(vähintään kahdeksan päivää) = at_least(period day 8 ) 8 päivä PTV 8 päivä PTV 8 day PL 8 day PL kesto-moniyks-1: RE(kaksi vuotta ja kolme kuukautta) = period year 2. period month 3 2 vuosi PTV ja 3 kuukausi PTV 2 vuosi PTV ja 3 kuukausi PTV 2 year PL and 3 month PL 2 year PL and 3 month PL kesto-murto-1: RE(neljännestunti) = of_fractional_length(period hour,1,4) tunti tunti an hour an hour kesto-seka-1: RE(kaksi ja puoli tuntia) = of_mixed_length(period hour,2,1,2) tunti tunti an hour an hour kesto-vali-1: RE(4 10 tuntia) = period hour [4,10] 4 10 tunti PTV 4 10 tunti PTV 4 10 hour PL 4 10 hour PL kesto-vali-2: 9

10 RE(4 10 tuntia) = ival_duration(period hour 4,period hour 10 ) 4 tunti PTV tunti PTV 4 tunti PTV tunti PTV 4 hour PL hour PL 4 hour PL hour PL kesto-vali-monitaso-1: RE(6 months to 2 years) = ival_duration(period month 6,period year 2 ) 6 kuukausi PTV vuosi PTV 6 kuukausi PTV vuosi PTV 6 month PL year PL 6 month PL year PL kokoelma-aikavyoh: kesäaika RE(klo 4.05 kesäaikaa) = summertime(hm 0405 ) kokoelma-ankk: n_following-väli RE(two to four Sundays following Christmas Day) = following_n([2, 4],wd 7,christmasday) 2 4 joulupäivä PTV seuraava PTV sunnuntai PTV 2 4 joulupäivä PTV seuraava PTV su PTV 2 4 Sunday PL following Christmas Day 2 4 Sun PL following Christmas Day kokoelma-ankk: edeltävä-lista-eitoimi RE(pääsiäistä edeltävä keskiviikko ja perjantai) = (wd 3 wd 5 ) (Σ (wd 3 wd 5 ) Σ ). easter keskiviikko ja perjantai ja pääsiäinen edeltävä keskiviikko ja perjantai ke ja pe ja pääsiäinen edeltävä ke ja pe Wednesday and Friday preceding Wednesday and Friday and Easter Wed and Fri preceding Wed and Fri and Easter kokoelma-ankk: edeltävä-lista-eitoimi-makro RE(pääsiäistä edeltävä keskiviikko ja perjantai) = preceding(wd 3 wd 5,easter) 10

11 pääsiäinen PTV edeltävä keskiviikko ja perjantai pääsiäinen PTV edeltävä ke ja pe Wednesday and Friday preceding Easter Wed and Fri preceding Easter kokoelma-ankk: edeltävä-lista-jaettu RE(pääsiäistä edeltävä keskiviikko ja perjantai) = (wd 3 wd 5 ) // (wd 3. (Σ wd 3 Σ ) wd 5. (Σ wd 5 Σ )). easter keskiviikko, perjantai, keskiviikko ja keskiviikko tai perjantai ja perjantai ja pääsiäinen ke, pe, ke ja ke tai pe ja pe ja pääsiäinen Wednesday, Friday, Wednesday and Wednesday or Friday and Friday and Easter Wed, Fri, Wed and Wed or Fri and Fri and Easter kokoelma-ankk: edeltävä-lista-jaettu-makro RE(pääsiäistä edeltävä keskiviikko ja perjantai) = preceding(wd 3,easter) preceding(wd 5,easter) pääsiäinen PTV edeltävä keskiviikko ja pääsiäinen PTV edeltävä perjantai pääsiäinen PTV edeltävä ke ja pääsiäinen PTV edeltävä pe Wednesday preceding Easter and Friday preceding Easter Wed preceding Easter and Fri preceding Easter kokoelma-ankk: seuraava-lista-konkat-peräkk RE(toinen ja kolmas pääsiäistä seuraava torstai ja perjantai) = nth_following({2,3},wd 4. wd 5,easter) 2, 3, torstai ja perjantai 2, 3, to ja pe 2, 3, Thursday and Friday 2, 3, Thu and Fri kokoelma-ankk: edeltävä-lista-konkat-peräkk RE(Thursday and Friday preceding Easter Sunday) = preceding(wd 4. wd 5,easter) pääsiäinen PTV edeltävä torstai ja perjantai pääsiäinen PTV edeltävä to ja pe Thursday and Friday preceding Easter Thu and Fri preceding Easter kokoelma-ankk: edeltävä-lista-konkat 11

12 RE(Monday, Tuesday and Thursday preceding Valentine s Day) = preceding_nc(wd 1. wd 2. wd 3,valentines_day) maanantai, tiistai ja keskiviikko ma, ti ja ke Monday, Tuesday and Wednesday Mon, Tue and Wed kokoelma-ankk: nth_preceding_nc RE(toinen ja kolmas pääsiäistä edeltävä keskiviikko ja perjantai) = nth_preceding_nc({2,3},wd 3. wd 5,easter) 2, 3, keskiviikko ja perjantai 2, 3, ke ja pe 2, 3, Wednesday and Friday 2, 3, Wed and Fri kokoelma-ankk: n_following RE(four Sundays following Christmas Day) = following_n(4,wd 7,christmasday) 4 joulupäivä PTV seuraava PTV sunnuntai PTV 4 joulupäivä PTV seuraava PTV su PTV 4 Sunday PL following Christmas Day 4 Sun PL following Christmas Day kokoelma-ankk: ennen-2004 RE(ennen vuotta 2004 ) = Σ + y edeltävä 2004 edeltävä preceding 2004 preceding 2004 kokoelma-ankk: jälkeen-2004 RE(vuoden 2004 jälkeen) = y 2004 Σ seuraava 2004 seuraava 2004 following 2004 following kokoelma-ankk: ennen-etäisyys-jakso 12

13 RE(päivä neljä viikkoa ennen joulua) = period day before_dist(continuous(period week 4 ),christmas) päivä 4 viikko PTV päivä 4 viikko PTV a day 4 week PL a day 4 week PL kokoelma-ankk: alku RE(vuoden 2004 alku) = begin_of(y 2004 ) kokoelma-ankk: alusta-loppuun RE(vuoden 2003 alusta elokuun loppuun) = ivalt(begin_of(y 2003 ),end_of(m 08 ),period year ) 2003 elokuu ILL 2003 elokuu ILL 2003 August 2003 Aug kokoelma-ehdoll: ifnot_else_following RE(Wednesday (the following day when Wed is a holiday)) = ifnot_else_following(wd 3,holiday,cal day ) keskiviikko (seuraava päivä jos keskiviikko olla ACT PRES SG 3 vapaapäivä) ke (seuraava päivä jos ke olla ACT PRES SG 3 vapaapäivä) Wednesday (a following day if Wednesday be ACT PRES SG 3 holiday) Wed (a following day if Wed be ACT PRES SG 3 holiday) kokoelma-ehdoll: mutta-seuraava-jos RE(Wednesday (the following day when Wed is a holiday)) = (wd 3 holiday) following(cal day,wd 3 holiday) keskiviikko paitsi vapaapäivä ja keskiviikko vapaapäivä seuraava päivä ke paitsi vapaapäivä ja ke vapaapäivä seuraava päivä Wednesday except holiday and a day following Wednesday holiday Wed except holiday and a day following Wed holiday kokoelma-epajatk: epäjatk-vkp 13

14 RE(ma ja ke tai ti ja to klo ) = in + ((wd 1. wd 3 wd 2. wd 4 ) in + cal week ) ivalpt(h 13,h 17 ) 2 maanantai ja keskiviikko tai tiistai ja torstai viikko ADE ma ja ke tai ti ja to viikko ADE Monday and Wednesday or Tuesday and Thursday in a week Mon and Wed or Tue and Thu in a week kokoelma-epajatk: epäjatk-vkp-2 RE(ma ja ke tai ti ja to klo ) = (in + wd 1. in + wd 3 in + wd 2. in + wd 4 ) in + continuous(period week ) ivalpt(h 13,h 17 ) + maanantai ESS ja keskiviikko ESS tai tiistai ESS ja torstai ESS viikko ADE ma ja ke tai ti ja to viikko ADE on Monday and on Wednesday or on Tuesday and on Thursday in a week Mon and Wed or Tue and Thu in a week kokoelma-epajatk: epäjatk-vkp-nearest RE(ma ja ke tai ti ja to klo ) = in_distr(nearest(wd 1. wd 3 wd 2. wd 4 ),cal day ) ivalpt(h 13,h 17 ) + maanantai ja keskiviikko tai tiistai ja torstai ma ja ke tai ti ja to a Monday and Wednesday or Tuesday and Thursday a Mon and Wed or Tue and Thu kokoelma-epajatk: epäjatk-pvm RE(either September 15 and 22 or November 10 and 17 ) = (in + m 09 md 15. md 22 ) (in + m 11 md 10. md 17 ) syyskuu INE 15. ja 22. tai marraskuu INE 10. ja 17. syyskuu INE 15. ja 22. tai marraskuu INE 10. ja 17. in September 15 and 22 or in November 10 and 17 Sep 15 and 22 or Nov 10 and 17 kokoelma-epajatk: epäjatk-pvm-eitoimi RE(September 22 and 15 ) = in + m 09 md 22. md 15 syyskuu INE 22. ja 15. syyskuu INE 22. ja 15. in September 22 and 15 Sep 22 and 15 14

15 kokoelma-kesto: jatkuva-kalenteriyks RE(viisi (peräkkäistä) päivää) = continuous(cal day 5 ) 5 päivä PTV 5 päivä PTV 5 day PL 5 day PL kokoelma-kesto: jatkuva-mittayks RE(vähintään kahdeksan päivää) = continuous(period day ) [8, [ vähintään 8 päivä PTV vähintään 8 päivä PTV at least 8 a day PL at least 8 a day PL kokoelma-kesto: jatkuva-mittayks-yhtenäinen RE(vähintään kahdeksan päivää) = continuous(period day [8, [ ) vähintään 8 päivä PTV vähintään 8 päivä PTV at least 8 day PL at least 8 day PL kokoelma-kesto: rajoitettu RE(one week between Christmas and Easter) = continuous(period week ) in + ival(christmas,easter) viikko pääsiäinen viikko pääsiäinen a week Easter a week Easter kokoelma-kesto: sekaluku RE(kaksi ja puoli tuntia) = period hour 2. of_fractional_length(period hour,1,2) 2 tunti PTV ja tunti 2 tunti PTV ja tunti 2 hour PL and an hour 2 hour PL and an hour kokoelma-luku: viim-arkima 15

16 RE(kuukauden viimeinen arkimaanantai) = last(wd 1 holiday,cal month ) maanantai paitsi vapaapäivä ma paitsi vapaapäivä a Monday except holiday a Mon except holiday kokoelma-luku: first-fri-month RE(the 1st Friday of the month during Semester) = nth(1,wd 5,cal month ) in + semester kuukausi GEN 1. perjantai lukukausi INE kuukausi GEN 1. pe lukukausi INE 1st Friday of the month in a semester 1st Fri of the month in a semester kokoelma-luku: toinen-jälkeen RE(the second Sunday after Christmas) = nth(2,wd 7,after(christmas)) jälkeen GEN 2. sunnuntai jälkeen GEN 2. su 2nd Sunday of after 2nd Sun of after kokoelma-luku: viim-ennen RE(the last week before Easter) = last(cal week,before(easter)) viikko pääsiäinen PTV viikko pääsiäinen PTV a week Easter a week Easter kokoelma-luku: järjluku-lista RE(the second Monday and Thursday of the month) = nth_nc(2,wd 1. wd 4,cal month ) maanantai ja torstai ma ja to a Monday and Thursday a Mon and Thu kokoelma-luku: järjluku-lista-epäjatk 16

17 RE(the second Monday and Thursday of the month) = nth_nc_all(2,wd 1. wd 4,cal month ) maanantai ja torstai ma ja to a Monday and Thursday a Mon and Thu kokoelma-luku: parittomina-päivinä RE(parittomina päivinä) = in + odd(cal day,cal month ) pariton ESS PL päivä ESS PL pariton ESS PL päivä ESS PL on a odd day PL on a odd day PL kokoelma-luku: to-parillisina-viikkoina RE(torstaisin parillisina viikkoina) = in + (wd 4 even(cal week,isoyear)) torstai ESS parillinen ADE PL viikko ADE PL to parillinen ADE PL viikko ADE PL Thursday a even week PL Thu a even week PL kokoelma-luku: kuukauden-parittomina-ke RE(kuukauden parittomina tiistaina) = in + odd(wd 3,cal month ) pariton ESS PL keskiviikko ESS PL pariton PL ke PL on odd Wednesday PL odd Wed PL kokoelma-luku: isoyear 1 52 ja ja and and 53 kokoelma-luku: vuoden-joka-toinen-ke RE((vuoden) joka toinen keskiviikko) = every_nth(2,wd 3,cal year ) joka 2. keskiviikko 17

18 joka 2. ke every 2nd Wednesday every 2nd Wed kokoelma-luku: joka-neljäs-viikko-alkaen RE(23.9. alkaen joka neljäs viikko tiistaisin) = in + every_nth(4,continuous(period week ),from(md(m 09,md 23 ))) wd 2 joka 4. viikko ADE tiistai joka 4. viikko ADE ti in a every 4th week Tuesday in a every 4th week Tue kokoelma-luku: every-second-sun-between RE(every second Sunday from October to April) = every_nth(2,wd 7,ival(m 10,m 04 )) joka 2. sunnuntai joka 2. su every 2nd Sunday every 2nd Sun kokoelma-luku: joka-toinen-lista RE(joka toinen tiistai ja torstai) = every_nth_nc(2,wd 2. wd 4,cal year ) tiistai ja torstai ti ja to a Tuesday and Thursday a Tue and Thu kokoelma-perakk: peräkk-epäjatk RE(consecutive Sundays) = consecutive_nc(wd 7 ) sunnuntai su Sunday Sun kokoelma-perakk: n-peräkk-epäjatk RE(kolme peräkkäistä sunnuntaita) = n_consecutive_nc(wd 7,3) sunnuntai su Sunday 18

19 Sun kokoelma-perakk: n-peräkk-epäjatk-osa RE(kolmena peräkkäisenä sunnuntaina) = in_distr(n_consecutive_nc(wd 7,3),wd 7 ) sunnuntai su Sunday Sun kokoelma-perakk: n-peräkk-alkaen-epäjatk RE( alkaen 5 peräkkäisenä sunnuntaina) = in_distr(from_nc_any(ymd(y 2001,m 01,md 14 )) n_consecutive_nc(wd 7,5),wd 7 ) sunnuntai su 14 January 2001 Sunday 14 Jan 2001 Sun kokoelma-perakk: n-peräkk-alkaen RE( alkaen 5 peräkkäisenä sunnuntaina) = in + n_consecutive_from(wd 7,ymd(y 2001,m 01,md 14 ),5) on Sunday January 2001 Sun Jan 2001 kokoelma-perakk: n-peräkk-kk-osa RE(kolmena peräkkäisenä (kalenteri)kuukautena) = in_distr(n_consecutive_nc(cal month,3),cal month ) kuukausi kuukausi a a a a month a a a a month kokoelma-perakk: n-peräkk-kk-alkaen RE(six consecutive months from November 2002 ) = n_consecutive_from(cal month,ym(y 2002,m 11 ),6) kuukausi kuukausi 19

20 a month a month kokoelma-perakk: kaksoispyhä vapaapäivä PTV seuraava vapaapäivä PTV edeltävä 2 vapaapäivä PTV vapaapäivä PTV seuraava vapaapäivä PTV edeltävä 2 vapaapäivä PTV holiday following 2 holiday PL preceding holiday holiday following 2 holiday PL preceding holiday kokoelma-perakk: kaksoispyhän_ens vapaapäivä PTV seuraava vapaapäivä PTV edeltävä vapaapäivä vapaapäivä PTV vapaapäivä PTV seuraava vapaapäivä PTV edeltävä vapaapäivä vapaapäivä PTV holiday following 2 holiday PL preceding holiday holiday following 2 holiday PL preceding holiday kokoelma-perusrak: konj-lista RE(ma ja ke tai ti ja to) = wd 1. wd 3 wd 2. wd 4 maanantai ja keskiviikko tai tiistai ja torstai ma ja ke tai ti ja to Monday and Wednesday or Tuesday and Thursday Mon and Wed or Tue and Thu kokoelma-perusrak: lista-ositt-erikseen RE(maanantaina ja tiistaina) = in + wd 1 in + wd 2 maanantai ESS ja tiistai ESS ma ja ti on Monday and on Tuesday Mon and Tue kokoelma-perusrak: lista-ositt-kokonaisuus RE(on Monday and Tuesday) = in + (wd 1 wd 2 ) maanantai ja tiistai ma ja ti Monday and Tuesday Mon and Tue 20

21 kokoelma-perusrak: ymd RE( ) = ymd(y 2003,m 05,md 31 ) May May 2003 kokoelma-perusrak: vkp-pvm RE(la ) = wd 6 ymd(y 2003,m 05,md 31 ) lauantai la Saturday 31 May 2003 Sat 31 May 2003 kokoelma-perusrak: vkp-pvm-lista RE(Mon 3, Wed 5, Fri 7 May) = ((wd 1 md 03 ) (wd 3 md 05 ) (wd 5 md 07 )) in + m 05 maanantai 3., keskiviikko 5. ja perjantai 7. toukokuu INE ma 3., ke 5. ja pe 7. toukokuu INE Monday 3, Wednesday 5 and Friday 7 in May Mon 3, Wed 5 and Fri 7 May kokoelma-perusrak: vkp-pvm-väli-erill RE(ma pe ) = ival(wd 1,wd 5 ) ival(md(m 12,md 23 ),md(m 12,md 27 )) maanantai perjantai ma pe Monday Friday 23 December 27 December Mon Fri 23 Dec 27 Dec kokoelma-perusrak: vkp-pvm-väli-yhd RE(ma pe ) = ival(wd 1 md(m 03,md 31 ),wd 5 md(m 04,md 04 )) in + y 2003 maanantai perjantai ma pe Monday 31 March Friday 4 April 2003 Mon 31 Mar Fri 4 Apr 2003 kokoelma-perusrak: perus-peräkk-jatk 21

22 RE(consecutive Saturday and Sunday) = (wd 6. wd 7 ) in + all lauantai ja sunnuntai la ja su Saturday and Sunday Sat and Sun kokoelma-perusrak: perus-peräkk-epäjatk-2 RE(Saturday and Sunday) = (wd 6. wd 7 ) in + all lauantai ja sunnuntai la ja su Saturday and Sunday Sat and Sun kokoelma-perusrak: perus-peräkk-epäjatk RE(kolme sunnuntaita) = (wd 7. wd 7. wd 7 ) in + all sunnuntai, sunnuntai ja sunnuntai su, su ja su Sunday, Sunday and Sunday Sun, Sun and Sun kokoelma-perusrak: rajoitettu-toisto RE(kolme sunnuntaita) = wd sunnuntai PTV 3 su PTV 3 Sunday PL 3 Sun PL kokoelma-perusrak: perus-ennen RE(ennen maaliskuuta) = Σ. m 03 / m 03 ja maaliskuu ja maaliskuu and March and Mar kokoelma-perusrak: perus-seuraava RE(pääsiäistä seuraava (kalenteri)viikko) = easter cal week pääsiäinen PTV seuraava viikko pääsiäinen PTV seuraava viikko 22

23 Easter following a week Easter following a week kokoelma-perusrak: perus-paitsi RE(kaikkina päivinä paitsi tiistaisin) = in + cal day in + wd 2 päivä ESS paitsi tiistai ESS päivä ESS paitsi ti on a day except on Tuesday on a day except Tue kokoelma-perusrak: perus-paitsi-kompl RE(kaikkina päivinä, ei tiistaisin) = in + cal day in + wd 2 päivä ESS tiistai ESS päivä ESS ti on a day on Tuesday on a day Tue kokoelma-perusrak: perus-ei RE(ei tiistaisin) = in + wd 2 tiistai ESS ti on Tuesday Tue kokoelma-perusrak: perus-ei-sis RE(ei tiistaisin) = (Σ in + wd 2 Σ ) tiistai ESS ti on Tuesday Tue kokoelma-perusrak: perus-sisältävä RE(juhannuksen sisältävä viikko) = (Σ midsummer Σ ) cal week viikko viikko a week a week 23

24 kokoelma-perusrak: perus-sisältävä-osa RE(juhannuksen sisältävä) = (Σ midsummer Σ ) kokoelma-perusrak: perus-monitaso RE(maanantaisin klo 10 ) = in + wd 1 h 10 maanantai ESS 10 ma 10 on Monday 10 Mon 10 kokoelma-perusrak: perus-osuva RE(Christmas Eve falling on a Friday) = christmas_eve wd 5 perjantai pe Friday Fri kokoelma-perusrak: perus-lähin-edeltävä RE(pääsiäistä edeltävä torstai) = wd 4 // wd 4. easter torstai ja pääsiäinen to ja pääsiäinen Thursday and Easter Thu and Easter kokoelma-perusrak: perus-lähin-väli RE(maanantaista perjantaihin) = wd 1. wd 5 maanantai ja perjantai ma ja pe Monday and Friday Mon and Fri kokoelma-perusrak: perus-järjluku 24

25 RE(3rd Wednesday of the month) = (( wd 3 ) 3 // cal month ) \\ wd 3 3 keskiviikko PTV 3 ke PTV a 3 Wednesday PL a 3 Wed PL kokoelma-poikk: everyday-except-christmas RE(every day except Christmas Eve and Christmas Day) = everyday (christmaseve christmasday) paitsi jouluaatto ja joulupäivä paitsi jouluaatto ja joulupäivä except Christmas Eve and Christmas Day except Christmas Eve and Christmas Day kokoelma-poikk: poikkeus-kaksios-esim RE(ma pe (loka huhtikuussa maanantaisin 10 18)) = except3(ival(wd 1,wd 5 ) ivalpt(h 09,hm 1515 ),in + (in + ival(m 10,m 04 ) wd 1 ),ivalpt(h 10,h 18 )) maanantai perjantai paitsi lokakuu huhtikuu maanantai ESS jolloin ma pe paitsi loka huhtikuu ma jolloin Monday Friday except October April Monday when Mon Fri except Oct Apr Mon when kokoelma-poikk: other_times RE(touko elokuussa ma su, muulloin la su) = other_times(in + ival(m 05,m 08 ),in + ival(wd 1,wd 7 ),in + ival(wd 6,wd 7 )) toukokuu elokuumaanantai sunnuntailauantai sunnuntai touko elokuuma sula su May AugustMonday SundaySaturday Sunday May AugMon SunSat Sun kokoelma-poikk: suljettu-paitsi RE(suljettuna lukuunottamatta adventtisunnuntaita, jolloin avoinna klo ) = in + ival(ymd(y 2002,m 12,md 02 ),ymd(y 2003,m 01,md 02 )) (in + advent_sunday ivalpt(h 11,h 19 )) December January

26 2 Dec Jan kokoelma-poikk: suljettu-lista-1 RE(ma to 8 19, pe 8 18, la su suljettu) = except2((in + ival(wd 1,wd 4 ) ivalpt(h 08,h 19 )) (in + wd 5 ivalpt(h 08,h 18 )),in + ival(wd 6,wd 7 )) maanantai torstai 8 19 ja perjantai ESS 8 18 paitsi lauantai sunnuntai ma to 8 19 ja pe 8 18 paitsi la su Monday Thursday 8 19 and on Friday 8 18 except Saturday Sunday Mon Thu 8 19 and Fri 8 18 except Sat Sun kokoelma-poikk: suljettu-lounas RE(Mon Thurs ; closed for lunch ) = except2(in + (in + ival(wd 1,wd 4 ) ivalpt(hm 0830,hm 1630 )),in + ivalpt(hm 1230,hm 1330 )) maanantai torstai paitsi ma to paitsi Monday Thursday except Mon Thu except kokoelma-poikk: suljettu-lista-poikk RE(talvikaudella to su klo 11 19; suljettuna lukuunottamatta adventtisunnuntaita, jolloin avoinna klo ) = except3(in + (in + winter_season ival(wd 4,wd 7 )) ivalpt(h 11,h 19 ),in + ival(ymd(y 2002,m 12,md 02 ),ymd(y 2003,m 01,md 02 )),in + advent_sunday ivalpt(h 11,h 19 )) torstai sunnuntai paitsi jolloin to su paitsi jolloin Thursday Sunday except 2 December January 2003 when Thu Sun except 2 Dec Jan 2003 when kokoelma-vali: väli-kk-perus RE(huhti elokuu) = m 04. Σ. m 08 huhtikuu, ja elokuu huhtikuu, ja elokuu April, and August Apr, and Aug kokoelma-vali: väli-kk-leikkaus 26

27 RE(huhti elokuu) = m 04. Σ. m 08 in + period year huhtikuu, ja elokuu vuosi ESS huhtikuu, ja elokuu vuosi ESS April, and August in a year Apr, and Aug in a year kokoelma-vali: väli-kk-sulkeuma-vas RE(huhti elokuu) = m 04. m 08 huhtikuu ja elokuu huhtikuu ja elokuu April and August Apr and Aug kokoelma-vali: väli-kk-sulkeuma-oik RE(huhti elokuu) = m 04. m 08 huhtikuu ja elokuu huhtikuu ja elokuu April and August Apr and Aug kokoelma-vali: väli-eritaso RE(20.6. klo ) = (in + md(m 06,md 20 ) h 16 ). Σ. md(m 06,md 23 ) in + period year , ja vuosi ESS , ja vuosi ESS 20 June 16, and 23 June in a year 20 Jun 16, and 23 Jun in a year kokoelma-vali: väli-pv-kk RE(1 15 June) = (md 01. Σ. md 15 in + period month ) in + m 04 1., ja 15. kuukausi INE huhtikuu INE 1., ja 15. kuukausi INE huhtikuu INE 1, and 15 in a month in April 1, and 15 in a month Apr kokoelma-vali: ival-ma-pe RE(maanantaista perjantaihin) = ival(wd 1,wd 5 ) maanantai perjantai 27

28 ma pe Monday Friday Mon Fri kokoelma-vali: ivalt-quarter RE(from the second to the last week of the quarter) = ivalt(nth(2,cal week,quarter),last(cal week,quarter),quarter) 2. viikko ELA viikko ILL 2. viikko ELA viikko ILL the 2nd week of a week the 2nd week of a week kokoelma-vali: asti-pvm RE( asti) = until(ymd(y 2003,m 10,md 31 )) asti asti until 31 October 2003 until 31 Oct 2003 kokoelma-vali: alkaen-epätäsm RE(from sometime in March 2005 ) = from(in + ym(y 2005,m 03 )) 2005 alkaen 2005 alkaen from in 2005 from 2005 kokoelma-vali: asti-klo RE(klo 18 asti) = untilpt(h 18 ) 18 asti 18 asti until 18 until 18 kokoelma-vali: alkaen-kk-sulkeuma RE(kesäkuusta alkaen) = m 06 kesäkuu kesäkuu June 28

29 Jun kokoelma-vali: vuonna-alkaen RE(vuonna 2004 kesäkuusta alkaen) = fromt(m 06,y 2004 ) kesäkuu ELA alkaen kesäkuu ELA alkaen from June from Jun kokoelma-vali: vuonna-alkaen-from2 RE(vuonna 2004 kesäkuusta alkaen) = from2(m 06,y 2004 ) kesäkuu kesäkuu June Jun kokoelma-vali: vuonna-alkaen-eitoimi RE(vuonna 2004 kesäkuusta alkaen) = in + y 2004 in + from(m 06 ) 2004 kesäkuu ELA alkaen 2004 kesäkuu ELA alkaen 2004 from June 2004 from Jun kokoelma-vali: ennen-maaliskuuta RE(ennen maaliskuuta) = before(m 03 ) ennen maaliskuu PTV ennen maaliskuu PTV before March before Mar kokoelma-vali: after-before RE(after February but before May 15, 2004 ) = in + after(m 02 ) in + before(md(m 05,md 15 )) in + y 2004 helmikuu GEN jälkeen ennen helmikuu GEN jälkeen ennen after February before 15 May 2004 after Feb before 15 May

30 kokoelma-vali: after-until RE(after January until April) = in + after(m 01 ) in + until(m 04 ) tammikuu GEN jälkeen huhtikuu ILL asti tammikuu GEN jälkeen huhtikuu ILL asti after January until April after Jan until Apr kokoelma-vali: ennen-monitaso-eitoimi RE(vuonna 2004 ennen toukokuuta) = in + y 2004 in + before(m 05 ) 2004 ennen toukokuu PTV 2004 ennen toukokuu PTV 2004 before May 2004 before May kokoelma-vali: asti-monitaso RE(toukokuuhun asti vuonna 2004 ) = until(m 05 ) in + y 2004 toukokuu ILL asti 2004 toukokuu ILL asti 2004 until May 2004 until May 2004 kokoelma-vali: jälkeen-klo RE(klo 19:n jälkeen) = afterpt(h 19 ) 19 jälkeen 19 jälkeen after 19 after 19 kokoelma-vali: vähintään-asti-epätäsm RE(at least until sometime in July 2004 ) = at_least(until(in + (m 07 in + y 2004 ))) heinäkuu 2004 asti heinäkuu 2004 asti until July 2004 until Jul 2004 kokoelma-vali: vuonna-viimeistään 30

31 RE(vuonna 2004 viimeistään toukokuussa) = in + (Σ. m 04 in + y 2004 ) ja huhtikuu 2004 ja huhtikuu 2004 and April 2004 and Apr 2004 konj1: (md 01. md 03 in + m 09 ) (md 05. md 07 in + m 10 ) 1. ja 3. syyskuu INE tai 5. ja 7. lokakuu INE 1. ja 3. syyskuu INE tai 5. ja 7. lokakuu INE 1 and 3 in September or 5 and 7 in October 1 and 3 Sep or 5 and 7 Oct konteksti-1: RE(adventtisunnuntait) = in + (period week 4 md(m 12,md 25 )) wd edeltävä ADE 4 viikko PTV sunnuntai edeltävä ADE 4 viikko PTV su 4 week PL preceding 25 December Sunday 4 week PL preceding 25 Dec Sun nth-1: RE(3rd and 4th Wednesday of month) = nth({3,4},wd 3,cal month ) kuukausi GEN 3. ja 4. keskiviikko kuukausi GEN 3. ja 4. ke 3rd and 4th Wednesday of the month 3rd and 4th Wed of the month nth-2: RE(3rd Wednesday of month and 4th Wednesday of month) = nth(3,wd 3,cal month ) nth(4,wd 3,cal month ) kuukausi GEN 3. keskiviikko ja kuukausi GEN 4. keskiviikko kuukausi GEN 3. ke ja kuukausi GEN 4. ke 3rd Wednesday of the month and 4th Wednesday of the month 3rd Wed of the month and 4th Wed of the month nth_following-1: RE(the second Sunday following Christmas Day) = nth_following(2,wd 7,christmasday) 31

32 nthlast-1: RE(kuukauden viimeisenä arkimaanantaina) = nthlast(1,wd 1 holiday,cal month ) kuukausi GEN 1. viimeinen maanantai paitsi vapaapäivä kuukausi GEN 1. viimeinen ma paitsi vapaapäivä 1st last Monday except holiday of the month 1st last Mon except holiday of the month over-1: RE(yli kaksi viikkoa) = over(period week 2 ) yli 2 viikko PTV yli 2 viikko PTV over 2 week PL over 2 week PL paitsi-sulj-1: RE(ma pe klo 9 17, la klo 9 13, paitsi heinäkuun lauantait suljettuna) = (in + ival(wd 1,wd 5 ) ivalpt(h 09,h 17 )) except2(in + wd 6 ivalpt(h 09,h 13 ),in + (in + m 07 wd 6 )) maanantai perjantai 9 17 ja lauantai ESS 9 13 paitsi heinäkuu INE lauantai ESS ma pe 9 17 ja la 9 13 paitsi heinäkuu INE la Monday Friday 9 17 and on Saturday 9 13 except in July Saturday Mon Fri 9 17 and Sat 9 13 except Jul Sat per-1: RE(two Saturdays a month) = per(wd 6 2,cal month ) 2 lauantai PTV 2 la PTV a 2 Saturday PL a 2 Sat PL per-2: RE(neljä viikkoa vuodessa) = per(period week 4,cal year ) 32

33 4 viikko PTV 4 viikko PTV a 4 week PL a 4 week PL per_within-1: RE(two Saturdays a month during the school year) = per_within(wd 6 2,cal month,school_year) 2 lauantai PTV 2 la PTV a 2 Saturday PL a 2 Sat PL preceding-1: RE(pääsiäistä edeltävänä torstaina) = in + preceding(wd 4,easter) pääsiäinen PTV edeltävä ESS torstai ESS pääsiäinen PTV edeltävä to on Thursday preceding Easter Thu preceding Easter preceding-2: RE(juhlapyhien aattoina) = in + (preceding(cal day,religious_holiday) religious_holiday) edeltävä ESS päivä ESS paitsi edeltävä ESS päivä ESS paitsi on a day preceding except on a day preceding except sulj-eitoim1: (in + ival(wd 1,wd 5 ) ivalpt(h 10,h 18 )) closed(wd 6 wd 7 ) maanantai perjantai ja lauantai ja sunnuntai ma pe ja la ja su Monday Friday and Saturday and Sunday Mon Fri and Sat and Sun sulj-eitoim2b: in + ival(wd 1,wd 5 ) ivalpt(h 10,h 18 ) maanantai perjantai

34 ma pe Monday Friday Mon Fri sulj-eitoim2: (in + ival(wd 1,wd 5 ) ivalpt(h 10,h 18 )) ((wd 6 wd 7 ) closed) maanantai perjantai ja lauantai ja sunnuntai ma pe ja la ja su Monday Friday and Saturday and Sunday Mon Fri and Sat and Sun sulj-lista-1: except2(in + ival(wd 1,wd 5 ) ivalpt(h 10,h 18 ),in + (wd 6 wd 7 )) maanantai perjantai paitsi lauantai ja sunnuntai ma pe paitsi la ja su Monday Friday except Saturday and Sunday Mon Fri except Sat and Sun sulj-lista-poikk-1: except3(in + summer ((in + wd 6 ivalpt(h 10,h 18 )) (in + wd 7 ivalpt(h 12,h 15 ))),in + (in + m 07 wd 7 ),in + md(m 07,md 13 ) ivalpt(h 12,h 18 )) kesä ADE lauantai ESS ja sunnuntai ESS paitsi heinäkuu INE sunnuntai ESS jolloin kesä ADE la ja su paitsi heinäkuu INE su jolloin in summer on Saturday and on Sunday except in July Sunday when 13 July in summer Sat and Sun except Jul Sun when 13 Jul sulj-paitsi-1: in + winter (in + m 12 (wd 6 wd 7 )) joulukuu INE lauantai ja sunnuntai joulukuu INE la ja su in December Saturday and Sunday Dec Sat and Sun tyovuoro1: RE(shifts from 4 to 10 hours, 12 and 20 hours per week, evenings and/or weekends) = shifts(continuous(period hour [4,10] ) (in + evening in + weekend)) per(period hour {12,20},cal week ) 34

35 4 10 tunti PTV ja viikonloppu ESS 12 ja 20 tunti PTV 4 10 tunti PTV ja viikonloppu ESS 12 ja 20 tunti PTV 4 10 hour PL and in weekend a 12 and 20 hour PL 4 10 hour PL and in weekend a 12 and 20 hour PL tyovuoro2: shifts_gap_between(period hour,period hour [4,10] (in + evening in + weekend),period hour 12. period hour,cal week ) (period hour 12 period hour 20 ) 4 10 tunti PTV, ja viikonloppu ESS, 12 tunti PTV ja tunti 12 tunti PTV ja 20 tunti PTV 4 10 tunti PTV, ja viikonloppu ESS, 12 tunti PTV ja tunti 12 tunti PTV ja 20 tunti PTV an a an a 4 10 hour PL, and in weekend, 12 hour PL and an hour 12 hour PL and 20 hour PL an a an a 4 10 hour PL, and in weekend, 12 hour PL and an hour 12 hour PL and 20 hour PL under-1: RE(alle kolme kuukautta) = under(period month 3 ) alle 3 kuukausi PTV alle 3 kuukausi PTV under 3 month PL under 3 month PL utc_plus-1: RE(Friday: Central European time) = tz_plus(in + wd 5 ivalpt(hm 0900,hm 1600 ),1) perjantai ESS pe on Friday Fri