Context                Previous, Next                Top


13_a_fce_0100_2001_06
Finally, on the last day we have an afternoon free before we catch our plane home.

%3 r_0013_0004__the_r_0013_0006__day the day r_0013_0005__last last r_0013_0004__the_r_0013_0006__day->r_0013_0005__last [attrib] r_0013_0008__have have r_0013_0008__have->r_0013_0004__the_r_0013_0006__day on [nim] r_0013_0001__Finally Finally r_0013_0008__have->r_0013_0001__Finally [nim] r_0013_0007__we we r_0013_0008__have->r_0013_0007__we [arg0] r_0013_0009__an_r_0013_0010__afternoon an afternoon r_0013_0008__have->r_0013_0009__an_r_0013_0010__afternoon [arg1] r_0013_0011__free free r_0013_0009__an_r_0013_0010__afternoon->r_0013_0011__free [attrib] r_0013_0012__before before r_0013_0012__before->r_0013_0008__have [scope] r_0013_0014__catch catch r_0013_0012__before->r_0013_0014__catch [restriction] r_0013_0014__catch->r_0013_0007__we [arg0] r_0013_0016__plane plane r_0013_0014__catch->r_0013_0016__plane [arg1] r_0013_0017__home home r_0013_0014__catch->r_0013_0017__home [nim] r_0013_0016__plane->r_0013_0007__we [gen] 
arc(r_0013_0004__the_r_0013_0006__day, r_0013_0005__last, attrib13).
arc(r_0013_0008__have, r_0013_0001__Finally, nim2).
arc(r_0013_0008__have, r_0013_0004__the_r_0013_0006__day, r_0013_0003__on_nim10).
arc(r_0013_0008__have, r_0013_0007__we, arg0).
arc(r_0013_0008__have, r_0013_0009__an_r_0013_0010__afternoon, arg1).
arc(r_0013_0009__an_r_0013_0010__afternoon, r_0013_0011__free, attrib28).
arc(r_0013_0012__before, r_0013_0008__have, scope).
arc(r_0013_0012__before, r_0013_0014__catch, restriction).
arc(r_0013_0014__catch, r_0013_0007__we, arg0).
arc(r_0013_0014__catch, r_0013_0016__plane, arg1).
arc(r_0013_0014__catch, r_0013_0017__home, nim46).
arc(r_0013_0016__plane, r_0013_0007__we, gen).


%3 r_0013_0016__plane plane r_0013_0007__we we r_0013_0016__plane->r_0013_0007__we [gen] r_0013_0014__catch catch r_0013_0014__catch->r_0013_0016__plane [arg1] r_0013_0014__catch->r_0013_0007__we [arg0] r_0013_0017__home home r_0013_0014__catch->r_0013_0017__home [nim] r_0013_0012__before before r_0013_0012__before->r_0013_0014__catch [conj1] r_0013_0008__have have r_0013_0012__before->r_0013_0008__have [conj2] r_0013_0008__have->r_0013_0007__we [arg0] r_0013_0009__an_r_0013_0010__afternoon an afternoon r_0013_0008__have->r_0013_0009__an_r_0013_0010__afternoon [arg1] r_0013_0004__the_r_0013_0006__day the day r_0013_0008__have->r_0013_0004__the_r_0013_0006__day on [nim] r_0013_0001__Finally Finally r_0013_0008__have->r_0013_0001__Finally [nim] r_0013_0011__free free r_0013_0009__an_r_0013_0010__afternoon->r_0013_0011__free [attrib] r_0013_0005__last last r_0013_0004__the_r_0013_0006__day->r_0013_0005__last [attrib] 
fof(formula,axiom,
    ? [R_13_12_BEFORE,R_13_14_CATCH,R_13_16_PLANE,R_13_17_HOME,R_13_8_HAVE,R_13_7_WE,R_13_9_AN_AFTERNOON,R_13_11_FREE,R_13_1_FINALLY,R_13_4_THE_DAY,R_13_5_LAST] :
      ( home(R_13_17_HOME)
      & we(R_13_7_WE)
      & free(R_13_11_FREE)
      & finally(R_13_1_FINALLY)
      & last(R_13_5_LAST)
      & before(R_13_12_BEFORE)
      & conj1(R_13_12_BEFORE,R_13_14_CATCH)
      & catch(R_13_14_CATCH,R_13_7_WE,R_13_16_PLANE)
      & plane(R_13_16_PLANE)
      & gen(R_13_16_PLANE,R_13_7_WE)
      & nim46(R_13_14_CATCH,R_13_17_HOME)
      & conj2(R_13_12_BEFORE,R_13_8_HAVE)
      & have(R_13_8_HAVE,R_13_7_WE,R_13_9_AN_AFTERNOON)
      & an_afternoon(R_13_9_AN_AFTERNOON)
      & attrib28(R_13_9_AN_AFTERNOON,R_13_11_FREE)
      & nim2(R_13_8_HAVE,R_13_1_FINALLY)
      & on_nim10(R_13_8_HAVE,R_13_4_THE_DAY)
      & the_day(R_13_4_THE_DAY)
      & attrib13(R_13_4_THE_DAY,R_13_5_LAST) ) ).


n13_a_fce_0100_2001_06 n13_a_fce_0100_2001_06__1_1_1_1 Finally n13_a_fce_0100_2001_06__1_2_1 , n13_a_fce_0100_2001_06__1_3_1_1 on n13_a_fce_0100_2001_06__1_3_2_1_1 the n13_a_fce_0100_2001_06__1_3_2_2_1_1 last n13_a_fce_0100_2001_06__1_3_2_3_1 day n13_a_fce_0100_2001_06__1_4_1_1 we n13_a_fce_0100_2001_06__1_5_1 have n13_a_fce_0100_2001_06__1_6_1_1 an n13_a_fce_0100_2001_06__1_6_2_1 afternoon n13_a_fce_0100_2001_06__1_6_3_1_1 free n13_a_fce_0100_2001_06__1_7_1_1 before n13_a_fce_0100_2001_06__1_7_2_1_1_1 we n13_a_fce_0100_2001_06__1_7_2_2_1 catch n13_a_fce_0100_2001_06__1_7_2_3_1_1_1 our n13_a_fce_0100_2001_06__1_7_2_3_2_1 plane n13_a_fce_0100_2001_06__1_7_2_4_1_1 home n13_a_fce_0100_2001_06__1_8_1 . n13_a_fce_0100_2001_06__1 IP-MAT n13_a_fce_0100_2001_06__1_1 ADVP-NIM n13_a_fce_0100_2001_06__1->n13_a_fce_0100_2001_06__1_1 n13_a_fce_0100_2001_06__1_2 PUNC n13_a_fce_0100_2001_06__1->n13_a_fce_0100_2001_06__1_2 n13_a_fce_0100_2001_06__1_3 PP-NIM n13_a_fce_0100_2001_06__1->n13_a_fce_0100_2001_06__1_3 n13_a_fce_0100_2001_06__1_4 NP-SBJ n13_a_fce_0100_2001_06__1->n13_a_fce_0100_2001_06__1_4 n13_a_fce_0100_2001_06__1_5 HVP;_Tn_ n13_a_fce_0100_2001_06__1->n13_a_fce_0100_2001_06__1_5 n13_a_fce_0100_2001_06__1_6 NP-OB1 n13_a_fce_0100_2001_06__1->n13_a_fce_0100_2001_06__1_6 n13_a_fce_0100_2001_06__1_7 PP-SCON n13_a_fce_0100_2001_06__1->n13_a_fce_0100_2001_06__1_7 n13_a_fce_0100_2001_06__1_8 PUNC n13_a_fce_0100_2001_06__1->n13_a_fce_0100_2001_06__1_8 n13_a_fce_0100_2001_06__1_1_1 ADV n13_a_fce_0100_2001_06__1_1->n13_a_fce_0100_2001_06__1_1_1 n13_a_fce_0100_2001_06__1_1_1->n13_a_fce_0100_2001_06__1_1_1_1 n13_a_fce_0100_2001_06__1_2->n13_a_fce_0100_2001_06__1_2_1 n13_a_fce_0100_2001_06__1_3_1 P-ROLE n13_a_fce_0100_2001_06__1_3->n13_a_fce_0100_2001_06__1_3_1 n13_a_fce_0100_2001_06__1_3_2 NP n13_a_fce_0100_2001_06__1_3->n13_a_fce_0100_2001_06__1_3_2 n13_a_fce_0100_2001_06__1_3_1->n13_a_fce_0100_2001_06__1_3_1_1 n13_a_fce_0100_2001_06__1_3_2_1 D n13_a_fce_0100_2001_06__1_3_2->n13_a_fce_0100_2001_06__1_3_2_1 n13_a_fce_0100_2001_06__1_3_2_2 ADJP n13_a_fce_0100_2001_06__1_3_2->n13_a_fce_0100_2001_06__1_3_2_2 n13_a_fce_0100_2001_06__1_3_2_3 N n13_a_fce_0100_2001_06__1_3_2->n13_a_fce_0100_2001_06__1_3_2_3 n13_a_fce_0100_2001_06__1_3_2_1->n13_a_fce_0100_2001_06__1_3_2_1_1 n13_a_fce_0100_2001_06__1_3_2_2_1 ADJ n13_a_fce_0100_2001_06__1_3_2_2->n13_a_fce_0100_2001_06__1_3_2_2_1 n13_a_fce_0100_2001_06__1_3_2_2_1->n13_a_fce_0100_2001_06__1_3_2_2_1_1 n13_a_fce_0100_2001_06__1_3_2_3->n13_a_fce_0100_2001_06__1_3_2_3_1 n13_a_fce_0100_2001_06__1_4_1 PRO n13_a_fce_0100_2001_06__1_4->n13_a_fce_0100_2001_06__1_4_1 n13_a_fce_0100_2001_06__1_4_1->n13_a_fce_0100_2001_06__1_4_1_1 n13_a_fce_0100_2001_06__1_5->n13_a_fce_0100_2001_06__1_5_1 n13_a_fce_0100_2001_06__1_6_1 D n13_a_fce_0100_2001_06__1_6->n13_a_fce_0100_2001_06__1_6_1 n13_a_fce_0100_2001_06__1_6_2 N n13_a_fce_0100_2001_06__1_6->n13_a_fce_0100_2001_06__1_6_2 n13_a_fce_0100_2001_06__1_6_3 ADJP n13_a_fce_0100_2001_06__1_6->n13_a_fce_0100_2001_06__1_6_3 n13_a_fce_0100_2001_06__1_6_1->n13_a_fce_0100_2001_06__1_6_1_1 n13_a_fce_0100_2001_06__1_6_2->n13_a_fce_0100_2001_06__1_6_2_1 n13_a_fce_0100_2001_06__1_6_3_1 ADJ n13_a_fce_0100_2001_06__1_6_3->n13_a_fce_0100_2001_06__1_6_3_1 n13_a_fce_0100_2001_06__1_6_3_1->n13_a_fce_0100_2001_06__1_6_3_1_1 n13_a_fce_0100_2001_06__1_7_1 P-CONN n13_a_fce_0100_2001_06__1_7->n13_a_fce_0100_2001_06__1_7_1 n13_a_fce_0100_2001_06__1_7_2 IP-ADV n13_a_fce_0100_2001_06__1_7->n13_a_fce_0100_2001_06__1_7_2 n13_a_fce_0100_2001_06__1_7_1->n13_a_fce_0100_2001_06__1_7_1_1 n13_a_fce_0100_2001_06__1_7_2_1 NP-SBJ n13_a_fce_0100_2001_06__1_7_2->n13_a_fce_0100_2001_06__1_7_2_1 n13_a_fce_0100_2001_06__1_7_2_2 VBP;_Tn_ n13_a_fce_0100_2001_06__1_7_2->n13_a_fce_0100_2001_06__1_7_2_2 n13_a_fce_0100_2001_06__1_7_2_3 NP-OB1 n13_a_fce_0100_2001_06__1_7_2->n13_a_fce_0100_2001_06__1_7_2_3 n13_a_fce_0100_2001_06__1_7_2_4 ADVP-NIM n13_a_fce_0100_2001_06__1_7_2->n13_a_fce_0100_2001_06__1_7_2_4 n13_a_fce_0100_2001_06__1_7_2_1_1 PRO n13_a_fce_0100_2001_06__1_7_2_1->n13_a_fce_0100_2001_06__1_7_2_1_1 n13_a_fce_0100_2001_06__1_7_2_1_1->n13_a_fce_0100_2001_06__1_7_2_1_1_1 n13_a_fce_0100_2001_06__1_7_2_2->n13_a_fce_0100_2001_06__1_7_2_2_1 n13_a_fce_0100_2001_06__1_7_2_3_1 NP-GEN n13_a_fce_0100_2001_06__1_7_2_3->n13_a_fce_0100_2001_06__1_7_2_3_1 n13_a_fce_0100_2001_06__1_7_2_3_2 N n13_a_fce_0100_2001_06__1_7_2_3->n13_a_fce_0100_2001_06__1_7_2_3_2 n13_a_fce_0100_2001_06__1_7_2_3_1_1 PRO;_genm_ n13_a_fce_0100_2001_06__1_7_2_3_1->n13_a_fce_0100_2001_06__1_7_2_3_1_1 n13_a_fce_0100_2001_06__1_7_2_3_1_1->n13_a_fce_0100_2001_06__1_7_2_3_1_1_1 n13_a_fce_0100_2001_06__1_7_2_3_2->n13_a_fce_0100_2001_06__1_7_2_3_2_1 n13_a_fce_0100_2001_06__1_7_2_4_1 ADV n13_a_fce_0100_2001_06__1_7_2_4->n13_a_fce_0100_2001_06__1_7_2_4_1 n13_a_fce_0100_2001_06__1_7_2_4_1->n13_a_fce_0100_2001_06__1_7_2_4_1_1 n13_a_fce_0100_2001_06__1_8->n13_a_fce_0100_2001_06__1_8_1 
( (IP-MAT (ADVP-NIM (ADV Finally;{finally}))
          (PUNC ,)
          (PP-NIM (P-ROLE on;{on})
                  (NP (D the;{the})
                      (ADJP (ADJ last;{last}))
                      (N day;{day})))
          (NP-SBJ (PRO we;{we}))
          (HVP;_Tn_ have;{have})
          (NP-OB1 (D an;{an})
                  (N afternoon;{afternoon})
                  (ADJP (ADJ free;{free})))
          (PP-SCON (P-CONN before;{before})
                   (IP-ADV (NP-SBJ (PRO we;{we}))
                           (VBP;_Tn_ catch;{catch})
                           (NP-OB1 (NP-GEN (PRO;_genm_ our;{our}))
                                   (N plane;{plane}))
                           (ADVP-NIM (ADV home;{home}))))
          (PUNC .))
  (ID 13_a_fce_0100_2001_06))