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_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) ) ).

( (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))