Context                Previous, Next                Top


25_a_lob_n02
Everyone, he declared, had had a thoroughly good time, and it would take them nearly to next week to settle down again.

%3 r_0025_0001__Everyone_quant Everyone [quant] r_0025_0006__had had r_0025_0001__Everyone_quant->r_0025_0006__had [scope] z_000_25_a_lob_n02_4 r_0025_0001__Everyone_quant->z_000_25_a_lob_n02_4 [restriction] r_0025_0007__had had r_0025_0006__had->r_0025_0007__had [scope] r_0025_0007__had->z_000_25_a_lob_n02_4 [arg0] r_0025_0008__a_r_0025_0011__time a time r_0025_0007__had->r_0025_0008__a_r_0025_0011__time [arg1] r_0025_0010__good good r_0025_0008__a_r_0025_0011__time->r_0025_0010__good [attrib] r_0025_0009__thoroughly thoroughly r_0025_0010__good->r_0025_0009__thoroughly [qual] r_0025_0013__and and r_0025_0013__and->r_0025_0001__Everyone_quant [conj1] r_0025_0015__would would r_0025_0013__and->r_0025_0015__would [conj2] r_0025_0016__take take r_0025_0015__would->r_0025_0016__take [scope] r_0025_0016__take->r_0025_0008__a_r_0025_0011__time [arg1] r_0025_0018__nearly nearly r_0025_0016__take->r_0025_0018__nearly [nim] r_0025_0021__week week r_0025_0016__take->r_0025_0021__week to [nim] r_0025_0022__to_r_0025_0023__settle_r_0025_0024__down to settle down r_0025_0016__take->r_0025_0022__to_r_0025_0023__settle_r_0025_0024__down [arg0] r_0025_0020__next next r_0025_0021__week->r_0025_0020__next [attrib] r_0025_0025__again again r_0025_0022__to_r_0025_0023__settle_r_0025_0024__down->r_0025_0025__again [nim] z_000_25_a_lob_n02_40 r_0025_0022__to_r_0025_0023__settle_r_0025_0024__down->z_000_25_a_lob_n02_40 [arg0] 
arc(r_0025_0001__Everyone_quant, r_0025_0006__had, scope).
arc(r_0025_0001__Everyone_quant, z_000_25_a_lob_n02_4, restriction).
arc(r_0025_0006__had, r_0025_0007__had, scope).
arc(r_0025_0007__had, r_0025_0008__a_r_0025_0011__time, arg1).
arc(r_0025_0007__had, z_000_25_a_lob_n02_4, arg0).
arc(r_0025_0008__a_r_0025_0011__time, r_0025_0010__good, attrib26).
arc(r_0025_0010__good, r_0025_0009__thoroughly, qual27).
arc(r_0025_0013__and, r_0025_0001__Everyone_quant, conj1).
arc(r_0025_0013__and, r_0025_0015__would, conj2).
arc(r_0025_0015__would, r_0025_0016__take, scope).
arc(r_0025_0016__take, r_0025_0008__a_r_0025_0011__time, arg1).
arc(r_0025_0016__take, r_0025_0018__nearly, nim51).
arc(r_0025_0016__take, r_0025_0021__week, r_0025_0019__to_nim57).
arc(r_0025_0016__take, r_0025_0022__to_r_0025_0023__settle_r_0025_0024__down, arg0).
arc(r_0025_0021__week, r_0025_0020__next, attrib58).
arc(r_0025_0022__to_r_0025_0023__settle_r_0025_0024__down, r_0025_0025__again, nim70).
arc(r_0025_0022__to_r_0025_0023__settle_r_0025_0024__down, z_000_25_a_lob_n02_40, arg0).


%3 r_0025_0001__Everyone_quant Everyone [quant] r_0025_0006__had_r_0025_0007__had had had r_0025_0001__Everyone_quant->r_0025_0006__had_r_0025_0007__had [scope] z_000_25_a_lob_n02_4 r_0025_0001__Everyone_quant->z_000_25_a_lob_n02_4 [restriction] r_0025_0006__had_r_0025_0007__had->z_000_25_a_lob_n02_4 [arg0] r_0025_0008__a_r_0025_0011__time a time r_0025_0006__had_r_0025_0007__had->r_0025_0008__a_r_0025_0011__time [arg1] r_0025_0010__good good r_0025_0008__a_r_0025_0011__time->r_0025_0010__good [attrib] r_0025_0009__thoroughly thoroughly r_0025_0010__good->r_0025_0009__thoroughly [qual] r_0025_0013__and and r_0025_0013__and->r_0025_0001__Everyone_quant [conj1] r_0025_0015__would_r_0025_0016__take would take r_0025_0013__and->r_0025_0015__would_r_0025_0016__take [conj2] r_0025_0015__would_r_0025_0016__take->r_0025_0008__a_r_0025_0011__time [arg1] r_0025_0018__nearly nearly r_0025_0015__would_r_0025_0016__take->r_0025_0018__nearly [nim] r_0025_0021__week week r_0025_0015__would_r_0025_0016__take->r_0025_0021__week to [nim] r_0025_0022__to_r_0025_0023__settle_r_0025_0024__down to settle down r_0025_0015__would_r_0025_0016__take->r_0025_0022__to_r_0025_0023__settle_r_0025_0024__down [arg0] r_0025_0020__next next r_0025_0021__week->r_0025_0020__next [attrib] r_0025_0025__again again r_0025_0022__to_r_0025_0023__settle_r_0025_0024__down->r_0025_0025__again [nim] z_000_25_a_lob_n02_40 r_0025_0022__to_r_0025_0023__settle_r_0025_0024__down->z_000_25_a_lob_n02_40 [arg0] 
fof(formula,axiom,
    ? [R_25_13_AND,R_25_15_WOULD_TAKE,R_25_22_TO_SETTLE_DOWN,Z_25_A_LOB_N02_40,R_25_25_AGAIN,R_25_8_A_TIME,R_25_10_GOOD,R_25_9_THOROUGHLY,R_25_18_NEARLY,R_25_21_WEEK,R_25_20_NEXT] :
      ( again(R_25_25_AGAIN)
      & thoroughly(R_25_9_THOROUGHLY)
      & nearly(R_25_18_NEARLY)
      & next(R_25_20_NEXT)
      & ! [Z_25_A_LOB_N02_4] :
          ( true
         => ? [R_25_6_HAD_HAD] : had_had(R_25_6_HAD_HAD,Z_25_A_LOB_N02_4,R_25_8_A_TIME) )
      & conj1(CONJ1)
      & and(R_25_13_AND)
      & conj2(R_25_13_AND,R_25_15_WOULD_TAKE)
      & would_take(R_25_15_WOULD_TAKE,R_25_22_TO_SETTLE_DOWN,R_25_8_A_TIME)
      & to_settle_down(R_25_22_TO_SETTLE_DOWN,Z_25_A_LOB_N02_40)
      & nim70(R_25_22_TO_SETTLE_DOWN,R_25_25_AGAIN)
      & a_time(R_25_8_A_TIME)
      & attrib26(R_25_8_A_TIME,R_25_10_GOOD)
      & good(R_25_10_GOOD)
      & qual27(R_25_10_GOOD,R_25_9_THOROUGHLY)
      & nim51(R_25_15_WOULD_TAKE,R_25_18_NEARLY)
      & to_nim57(R_25_15_WOULD_TAKE,R_25_21_WEEK)
      & week(R_25_21_WEEK)
      & attrib58(R_25_21_WEEK,R_25_20_NEXT) ) ).


n25_a_lob_n02 n25_a_lob_n02_6 Everyone n25_a_lob_n02_8 , n25_a_lob_n02_13 he n25_a_lob_n02_15 declared n25_a_lob_n02_17 , n25_a_lob_n02_19 had n25_a_lob_n02_22 had n25_a_lob_n02_25 a n25_a_lob_n02_29 thoroughly n25_a_lob_n02_31 good n25_a_lob_n02_33 time n25_a_lob_n02_35 , n25_a_lob_n02_38 and n25_a_lob_n02_42 it n25_a_lob_n02_44 would n25_a_lob_n02_47 take n25_a_lob_n02_50 them n25_a_lob_n02_53 nearly n25_a_lob_n02_56 to n25_a_lob_n02_60 next n25_a_lob_n02_62 week n25_a_lob_n02_65 to n25_a_lob_n02_67 settle n25_a_lob_n02_69 down n25_a_lob_n02_72 again n25_a_lob_n02_74 . n25_a_lob_n02_1 IP-MAT n25_a_lob_n02_2 ILYR n25_a_lob_n02_1->n25_a_lob_n02_2 n25_a_lob_n02_73 PUNC n25_a_lob_n02_1->n25_a_lob_n02_73 n25_a_lob_n02_3 ILYR n25_a_lob_n02_2->n25_a_lob_n02_3 n25_a_lob_n02_34 PUNC n25_a_lob_n02_2->n25_a_lob_n02_34 n25_a_lob_n02_36 CONJP n25_a_lob_n02_2->n25_a_lob_n02_36 n25_a_lob_n02_4 NP-SBJ n25_a_lob_n02_3->n25_a_lob_n02_4 n25_a_lob_n02_7 PUNC n25_a_lob_n02_3->n25_a_lob_n02_7 n25_a_lob_n02_9 PRN n25_a_lob_n02_3->n25_a_lob_n02_9 n25_a_lob_n02_16 PUNC n25_a_lob_n02_3->n25_a_lob_n02_16 n25_a_lob_n02_18 HVD;_cat_Ve_ n25_a_lob_n02_3->n25_a_lob_n02_18 n25_a_lob_n02_20 IP-PPL-CAT n25_a_lob_n02_3->n25_a_lob_n02_20 n25_a_lob_n02_5 Q;_nphd_ n25_a_lob_n02_4->n25_a_lob_n02_5 n25_a_lob_n02_5->n25_a_lob_n02_6 n25_a_lob_n02_7->n25_a_lob_n02_8 n25_a_lob_n02_10 IP-MAT n25_a_lob_n02_9->n25_a_lob_n02_10 n25_a_lob_n02_11 NP-SBJ n25_a_lob_n02_10->n25_a_lob_n02_11 n25_a_lob_n02_14 VBD;_Tf_ n25_a_lob_n02_10->n25_a_lob_n02_14 n25_a_lob_n02_12 PRO n25_a_lob_n02_11->n25_a_lob_n02_12 n25_a_lob_n02_12->n25_a_lob_n02_13 n25_a_lob_n02_14->n25_a_lob_n02_15 n25_a_lob_n02_16->n25_a_lob_n02_17 n25_a_lob_n02_18->n25_a_lob_n02_19 n25_a_lob_n02_21 HVN;_Tn_ n25_a_lob_n02_20->n25_a_lob_n02_21 n25_a_lob_n02_23 NP-OB1 n25_a_lob_n02_20->n25_a_lob_n02_23 n25_a_lob_n02_21->n25_a_lob_n02_22 n25_a_lob_n02_24 D n25_a_lob_n02_23->n25_a_lob_n02_24 n25_a_lob_n02_26 ADJP n25_a_lob_n02_23->n25_a_lob_n02_26 n25_a_lob_n02_32 N n25_a_lob_n02_23->n25_a_lob_n02_32 n25_a_lob_n02_24->n25_a_lob_n02_25 n25_a_lob_n02_27 ADVP n25_a_lob_n02_26->n25_a_lob_n02_27 n25_a_lob_n02_30 ADJ n25_a_lob_n02_26->n25_a_lob_n02_30 n25_a_lob_n02_28 ADV n25_a_lob_n02_27->n25_a_lob_n02_28 n25_a_lob_n02_28->n25_a_lob_n02_29 n25_a_lob_n02_30->n25_a_lob_n02_31 n25_a_lob_n02_32->n25_a_lob_n02_33 n25_a_lob_n02_34->n25_a_lob_n02_35 n25_a_lob_n02_37 CONJ n25_a_lob_n02_36->n25_a_lob_n02_37 n25_a_lob_n02_39 ILYR n25_a_lob_n02_36->n25_a_lob_n02_39 n25_a_lob_n02_37->n25_a_lob_n02_38 n25_a_lob_n02_40 NP-SBJ n25_a_lob_n02_39->n25_a_lob_n02_40 n25_a_lob_n02_43 MD;_cat_Vi_ n25_a_lob_n02_39->n25_a_lob_n02_43 n25_a_lob_n02_45 IP-INF-CAT n25_a_lob_n02_39->n25_a_lob_n02_45 n25_a_lob_n02_41 PRO;_provisional_ n25_a_lob_n02_40->n25_a_lob_n02_41 n25_a_lob_n02_41->n25_a_lob_n02_42 n25_a_lob_n02_43->n25_a_lob_n02_44 n25_a_lob_n02_46 VB;_Tn_ n25_a_lob_n02_45->n25_a_lob_n02_46 n25_a_lob_n02_48 NP-OB1 n25_a_lob_n02_45->n25_a_lob_n02_48 n25_a_lob_n02_51 ADVP-NIM n25_a_lob_n02_45->n25_a_lob_n02_51 n25_a_lob_n02_54 PP-NIM n25_a_lob_n02_45->n25_a_lob_n02_54 n25_a_lob_n02_63 IP-INF-NSBJ n25_a_lob_n02_45->n25_a_lob_n02_63 n25_a_lob_n02_46->n25_a_lob_n02_47 n25_a_lob_n02_49 PRO n25_a_lob_n02_48->n25_a_lob_n02_49 n25_a_lob_n02_49->n25_a_lob_n02_50 n25_a_lob_n02_52 ADV n25_a_lob_n02_51->n25_a_lob_n02_52 n25_a_lob_n02_52->n25_a_lob_n02_53 n25_a_lob_n02_55 P-ROLE n25_a_lob_n02_54->n25_a_lob_n02_55 n25_a_lob_n02_57 NP n25_a_lob_n02_54->n25_a_lob_n02_57 n25_a_lob_n02_55->n25_a_lob_n02_56 n25_a_lob_n02_58 ADJP n25_a_lob_n02_57->n25_a_lob_n02_58 n25_a_lob_n02_61 N n25_a_lob_n02_57->n25_a_lob_n02_61 n25_a_lob_n02_59 ADJ n25_a_lob_n02_58->n25_a_lob_n02_59 n25_a_lob_n02_59->n25_a_lob_n02_60 n25_a_lob_n02_61->n25_a_lob_n02_62 n25_a_lob_n02_64 TO n25_a_lob_n02_63->n25_a_lob_n02_64 n25_a_lob_n02_66 VB;_phr_Vp_ n25_a_lob_n02_63->n25_a_lob_n02_66 n25_a_lob_n02_68 RP n25_a_lob_n02_63->n25_a_lob_n02_68 n25_a_lob_n02_70 ADVP-NIM n25_a_lob_n02_63->n25_a_lob_n02_70 n25_a_lob_n02_64->n25_a_lob_n02_65 n25_a_lob_n02_66->n25_a_lob_n02_67 n25_a_lob_n02_68->n25_a_lob_n02_69 n25_a_lob_n02_71 ADV n25_a_lob_n02_70->n25_a_lob_n02_71 n25_a_lob_n02_71->n25_a_lob_n02_72 n25_a_lob_n02_73->n25_a_lob_n02_74 
( (IP-MAT (ILYR (ILYR (NP-SBJ (Q;_nphd_ Everyone;{everyone}))
                      (PUNC ,)
                      (PRN (IP-MAT (NP-SBJ;{PIERS} (PRO he;{he}))
                                   (VBD;_Tf_ declared;{declare})))
                      (PUNC ,)
                      (HVD;_cat_Ve_ had;{have})
                      (IP-PPL-CAT (HVN;_Tn_ had;{have})
                                  (NP-OB1 (D a;{a})
                                          (ADJP (ADVP (ADV thoroughly;{thoroughly}))
                                                (ADJ good;{good}))
                                          (N time;{time}))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ (PRO;_provisional_ it;{it}))
                             (MD;_cat_Vi_ would;{will})
                             (IP-INF-CAT (VB;_Tn_ take;{take})
                                         (NP-OB1 (PRO them;{they}))
                                         (ADVP-NIM (ADV nearly;{nearly}))
                                         (PP-NIM (P-ROLE to;{to})
                                                 (NP (ADJP (ADJ next;{next}))
                                                     (N week;{week})))
                                         (IP-INF-NSBJ (TO to;{to})
                                                      (VB;_phr_Vp_ settle;{settle})
                                                      (RP down;{down})
                                                      (ADVP-NIM (ADV again;{again})))))))
          (PUNC .))
  (ID 25_a_lob_n02))