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_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 [conj2] r_0013_0014__catch catch r_0013_0012__before->r_0013_0014__catch [conj1] 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] 
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_4 Finally n13_a_fce_0100_2001_06_6 , n13_a_fce_0100_2001_06_9 on n13_a_fce_0100_2001_06_12 the n13_a_fce_0100_2001_06_15 last n13_a_fce_0100_2001_06_17 day n13_a_fce_0100_2001_06_20 we n13_a_fce_0100_2001_06_22 have n13_a_fce_0100_2001_06_25 an n13_a_fce_0100_2001_06_27 afternoon n13_a_fce_0100_2001_06_30 free n13_a_fce_0100_2001_06_33 before n13_a_fce_0100_2001_06_37 we n13_a_fce_0100_2001_06_39 catch n13_a_fce_0100_2001_06_43 our n13_a_fce_0100_2001_06_45 plane n13_a_fce_0100_2001_06_48 home n13_a_fce_0100_2001_06_50 . n13_a_fce_0100_2001_06_1 IP-MAT n13_a_fce_0100_2001_06_2 ADVP-NIM n13_a_fce_0100_2001_06_1->n13_a_fce_0100_2001_06_2 n13_a_fce_0100_2001_06_5 PUNC n13_a_fce_0100_2001_06_1->n13_a_fce_0100_2001_06_5 n13_a_fce_0100_2001_06_7 PP-NIM n13_a_fce_0100_2001_06_1->n13_a_fce_0100_2001_06_7 n13_a_fce_0100_2001_06_18 NP-SBJ n13_a_fce_0100_2001_06_1->n13_a_fce_0100_2001_06_18 n13_a_fce_0100_2001_06_21 HVP;_Tn_ n13_a_fce_0100_2001_06_1->n13_a_fce_0100_2001_06_21 n13_a_fce_0100_2001_06_23 NP-OB1 n13_a_fce_0100_2001_06_1->n13_a_fce_0100_2001_06_23 n13_a_fce_0100_2001_06_31 PP-SCON n13_a_fce_0100_2001_06_1->n13_a_fce_0100_2001_06_31 n13_a_fce_0100_2001_06_49 PUNC n13_a_fce_0100_2001_06_1->n13_a_fce_0100_2001_06_49 n13_a_fce_0100_2001_06_3 ADV n13_a_fce_0100_2001_06_2->n13_a_fce_0100_2001_06_3 n13_a_fce_0100_2001_06_3->n13_a_fce_0100_2001_06_4 n13_a_fce_0100_2001_06_5->n13_a_fce_0100_2001_06_6 n13_a_fce_0100_2001_06_8 P-ROLE n13_a_fce_0100_2001_06_7->n13_a_fce_0100_2001_06_8 n13_a_fce_0100_2001_06_10 NP n13_a_fce_0100_2001_06_7->n13_a_fce_0100_2001_06_10 n13_a_fce_0100_2001_06_8->n13_a_fce_0100_2001_06_9 n13_a_fce_0100_2001_06_11 D n13_a_fce_0100_2001_06_10->n13_a_fce_0100_2001_06_11 n13_a_fce_0100_2001_06_13 ADJP n13_a_fce_0100_2001_06_10->n13_a_fce_0100_2001_06_13 n13_a_fce_0100_2001_06_16 N n13_a_fce_0100_2001_06_10->n13_a_fce_0100_2001_06_16 n13_a_fce_0100_2001_06_11->n13_a_fce_0100_2001_06_12 n13_a_fce_0100_2001_06_14 ADJ n13_a_fce_0100_2001_06_13->n13_a_fce_0100_2001_06_14 n13_a_fce_0100_2001_06_14->n13_a_fce_0100_2001_06_15 n13_a_fce_0100_2001_06_16->n13_a_fce_0100_2001_06_17 n13_a_fce_0100_2001_06_19 PRO n13_a_fce_0100_2001_06_18->n13_a_fce_0100_2001_06_19 n13_a_fce_0100_2001_06_19->n13_a_fce_0100_2001_06_20 n13_a_fce_0100_2001_06_21->n13_a_fce_0100_2001_06_22 n13_a_fce_0100_2001_06_24 D n13_a_fce_0100_2001_06_23->n13_a_fce_0100_2001_06_24 n13_a_fce_0100_2001_06_26 N n13_a_fce_0100_2001_06_23->n13_a_fce_0100_2001_06_26 n13_a_fce_0100_2001_06_28 ADJP n13_a_fce_0100_2001_06_23->n13_a_fce_0100_2001_06_28 n13_a_fce_0100_2001_06_24->n13_a_fce_0100_2001_06_25 n13_a_fce_0100_2001_06_26->n13_a_fce_0100_2001_06_27 n13_a_fce_0100_2001_06_29 ADJ n13_a_fce_0100_2001_06_28->n13_a_fce_0100_2001_06_29 n13_a_fce_0100_2001_06_29->n13_a_fce_0100_2001_06_30 n13_a_fce_0100_2001_06_32 P-CONN n13_a_fce_0100_2001_06_31->n13_a_fce_0100_2001_06_32 n13_a_fce_0100_2001_06_34 IP-ADV n13_a_fce_0100_2001_06_31->n13_a_fce_0100_2001_06_34 n13_a_fce_0100_2001_06_32->n13_a_fce_0100_2001_06_33 n13_a_fce_0100_2001_06_35 NP-SBJ n13_a_fce_0100_2001_06_34->n13_a_fce_0100_2001_06_35 n13_a_fce_0100_2001_06_38 VBP;_Tn_ n13_a_fce_0100_2001_06_34->n13_a_fce_0100_2001_06_38 n13_a_fce_0100_2001_06_40 NP-OB1 n13_a_fce_0100_2001_06_34->n13_a_fce_0100_2001_06_40 n13_a_fce_0100_2001_06_46 ADVP-NIM n13_a_fce_0100_2001_06_34->n13_a_fce_0100_2001_06_46 n13_a_fce_0100_2001_06_36 PRO n13_a_fce_0100_2001_06_35->n13_a_fce_0100_2001_06_36 n13_a_fce_0100_2001_06_36->n13_a_fce_0100_2001_06_37 n13_a_fce_0100_2001_06_38->n13_a_fce_0100_2001_06_39 n13_a_fce_0100_2001_06_41 NP-GEN n13_a_fce_0100_2001_06_40->n13_a_fce_0100_2001_06_41 n13_a_fce_0100_2001_06_44 N n13_a_fce_0100_2001_06_40->n13_a_fce_0100_2001_06_44 n13_a_fce_0100_2001_06_42 PRO;_genm_ n13_a_fce_0100_2001_06_41->n13_a_fce_0100_2001_06_42 n13_a_fce_0100_2001_06_42->n13_a_fce_0100_2001_06_43 n13_a_fce_0100_2001_06_44->n13_a_fce_0100_2001_06_45 n13_a_fce_0100_2001_06_47 ADV n13_a_fce_0100_2001_06_46->n13_a_fce_0100_2001_06_47 n13_a_fce_0100_2001_06_47->n13_a_fce_0100_2001_06_48 n13_a_fce_0100_2001_06_49->n13_a_fce_0100_2001_06_50 
( (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))