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.
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).
fof(formula,axiom,
? [R_0025_0009__THOROUGHLY,R_0025_0010__GOOD,R_0025_0008__A_R_0025_0011__TIME,R_0025_0018__NEARLY,R_0025_0020__NEXT,R_0025_0021__WEEK,R_0025_0025__AGAIN,Z_000_25_A_LOB_N02_40,R_0025_0022__TO_R_0025_0023__SETTLE_R_0025_0024__DOWN,R_0025_0015__WOULD_R_0025_0016__TAKE,R_0025_0013__AND] :
( r_0025_0009__thoroughly(R_0025_0009__THOROUGHLY)
& r_0025_0018__nearly(R_0025_0018__NEARLY)
& r_0025_0020__next(R_0025_0020__NEXT)
& r_0025_0025__again(R_0025_0025__AGAIN)
& z_000_25_a_lob_n02_40(Z_000_25_A_LOB_N02_40)
& r_0025_0013__and(R_0025_0013__AND)
& has_conj2(R_0025_0013__AND,R_0025_0015__WOULD_R_0025_0016__TAKE)
& r_0025_0015__would_r_0025_0016__take(R_0025_0015__WOULD_R_0025_0016__TAKE)
& has_arg0(R_0025_0015__WOULD_R_0025_0016__TAKE,R_0025_0022__TO_R_0025_0023__SETTLE_R_0025_0024__DOWN)
& r_0025_0022__to_r_0025_0023__settle_r_0025_0024__down(R_0025_0022__TO_R_0025_0023__SETTLE_R_0025_0024__DOWN)
& has_arg0(R_0025_0022__TO_R_0025_0023__SETTLE_R_0025_0024__DOWN,Z_000_25_A_LOB_N02_40)
& has_nim70(R_0025_0022__TO_R_0025_0023__SETTLE_R_0025_0024__DOWN,R_0025_0025__AGAIN)
& has_r_0025_0019__to_nim57(R_0025_0015__WOULD_R_0025_0016__TAKE,R_0025_0021__WEEK)
& r_0025_0021__week(R_0025_0021__WEEK)
& has_attrib58(R_0025_0021__WEEK,R_0025_0020__NEXT)
& has_nim51(R_0025_0015__WOULD_R_0025_0016__TAKE,R_0025_0018__NEARLY)
& has_arg1(R_0025_0015__WOULD_R_0025_0016__TAKE,R_0025_0008__A_R_0025_0011__TIME)
& r_0025_0008__a_r_0025_0011__time(R_0025_0008__A_R_0025_0011__TIME)
& has_attrib26(R_0025_0008__A_R_0025_0011__TIME,R_0025_0010__GOOD)
& r_0025_0010__good(R_0025_0010__GOOD)
& has_qual27(R_0025_0010__GOOD,R_0025_0009__THOROUGHLY)
& ! [Z_000_25_A_LOB_N02_4] :
( z_000_25_a_lob_n02_4(Z_000_25_A_LOB_N02_4)
=> ? [R_0025_0006__HAD_R_0025_0007__HAD] :
( r_0025_0006__had_r_0025_0007__had(R_0025_0006__HAD_R_0025_0007__HAD)
& has_arg0(R_0025_0006__HAD_R_0025_0007__HAD,Z_000_25_A_LOB_N02_4)
& has_arg1(R_0025_0006__HAD_R_0025_0007__HAD,R_0025_0008__A_R_0025_0011__TIME) ) ) ) ).
( (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))