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.
( (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))
arc(r_0025_0001__Everyone__quant,r_0025_0006__had,scope).
arc(r_0025_0001__Everyone__quant,z_0025_5003,restriction).
arc(r_0025_0004__declared,r_0025_0003__he,arg0).
arc(r_0025_0006__had,r_0025_0004__declared,prn).
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_0025_5003,arg0).
arc(r_0025_0008__a_r_0025_0011__time,r_0025_0010__good,attrib).
arc(r_0025_0010__good,r_0025_0009__thoroughly,qual).
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_0017__them,arg1).
arc(r_0025_0016__take,r_0025_0018__nearly,nim).
arc(r_0025_0016__take,r_0025_0021__week,r_0025_0019__to__nim).
arc(r_0025_0016__take,r_0025_0023__settle_r_0025_0024__down,arg0).
arc(r_0025_0021__week,r_0025_0020__next,attrib).
arc(r_0025_0023__settle_r_0025_0024__down,r_0025_0025__again,nim).
arc(r_0025_0023__settle_r_0025_0024__down,z_0025_5012,arg0).
fof(formula,axiom,
? [R_0025_0017__THEM,R_0025_0018__NEARLY,R_0025_0020__NEXT,R_0025_0021__WEEK,R_0025_0025__AGAIN,Z_0025_5012,R_0025_0023__SETTLE_R_0025_0024__DOWN,R_0025_0015__WOULD_R_0025_0016__TAKE,R_0025_0013__AND] :
( r_0025_0017__them(R_0025_0017__THEM)
& 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_0025_5012(Z_0025_5012)
& 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_0023__SETTLE_R_0025_0024__DOWN)
& r_0025_0023__settle_r_0025_0024__down(R_0025_0023__SETTLE_R_0025_0024__DOWN)
& has_arg0(R_0025_0023__SETTLE_R_0025_0024__DOWN,Z_0025_5012)
& has_nim(R_0025_0023__SETTLE_R_0025_0024__DOWN,R_0025_0025__AGAIN)
& has_r_0025_0019__to__nim(R_0025_0015__WOULD_R_0025_0016__TAKE,R_0025_0021__WEEK)
& r_0025_0021__week(R_0025_0021__WEEK)
& has_attrib(R_0025_0021__WEEK,R_0025_0020__NEXT)
& has_nim(R_0025_0015__WOULD_R_0025_0016__TAKE,R_0025_0018__NEARLY)
& has_arg1(R_0025_0015__WOULD_R_0025_0016__TAKE,R_0025_0017__THEM)
& ! [Z_0025_5003] :
( z_0025_5003(Z_0025_5003)
=> ? [R_0025_0003__HE,R_0025_0004__DECLARED,R_0025_0009__THOROUGHLY,R_0025_0010__GOOD,R_0025_0008__A_R_0025_0011__TIME,R_0025_0006__HAD_R_0025_0007__HAD] :
( r_0025_0003__he(R_0025_0003__HE)
& r_0025_0009__thoroughly(R_0025_0009__THOROUGHLY)
& 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_0025_5003)
& has_arg1(R_0025_0006__HAD_R_0025_0007__HAD,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_attrib(R_0025_0008__A_R_0025_0011__TIME,R_0025_0010__GOOD)
& r_0025_0010__good(R_0025_0010__GOOD)
& has_qual(R_0025_0010__GOOD,R_0025_0009__THOROUGHLY)
& has_prn(R_0025_0006__HAD_R_0025_0007__HAD,R_0025_0004__DECLARED)
& r_0025_0004__declared(R_0025_0004__DECLARED)
& has_arg0(R_0025_0004__DECLARED,R_0025_0003__HE) ) ) ) ).