TSPC 31_a_wilde_2

31_a_wilde_2_1888
Every day for three hours he rattled on the roof of the castle till he broke most of the slates, and then he ran round and round the garden as fast as he could go.

arc(r_0031_0001__Every_quant, r_0031_0002__day, restriction).
arc(r_0031_0001__Every_quant, r_0031_0014__till, scope).
arc(r_0031_0002__day, r_0031_0004__three_r_0031_0005__hours, r_0031_0003__for).
arc(r_0031_0007__rattled, r_0031_0002__day, nim4).
arc(r_0031_0007__rattled, r_0031_0006__he, arg0).
arc(r_0031_0007__rattled, r_0031_0009__the_r_0031_0010__roof, r_0031_0008__on_nim25).
arc(r_0031_0009__the_r_0031_0010__roof, r_0031_0012__the_r_0031_0013__castle, r_0031_0011__of).
arc(r_0031_0014__till, r_0031_0007__rattled, scope).
arc(r_0031_0014__till, r_0031_0017__most_quant, restriction).
arc(r_0031_0016__broke, r_0031_0006__he, arg0).
arc(r_0031_0016__broke, z_000_31_a_wilde_2_1888_47, arg1).
arc(r_0031_0017__most_quant, r_0031_0016__broke, scope).
arc(r_0031_0017__most_quant, z_000_31_a_wilde_2_1888_47, restriction).
arc(r_0031_0022__and, r_0031_0001__Every_quant, conj1).
arc(r_0031_0022__and, r_0031_0025__ran, conj2).
arc(r_0031_0025__ran, r_0031_0023__then, nim64).
arc(r_0031_0025__ran, r_0031_0024__he, arg0).
arc(r_0031_0025__ran, r_0031_0027__the_r_0031_0028__garden, r_0031_0026__round_and_round_nim75).
arc(r_0031_0025__ran, r_0031_0030__fast, nim80).
arc(r_0031_0030__fast, r_0031_0029__as, qual81).
arc(r_0031_0030__fast, z_000_31_a_wilde_2_1888_89, r_0031_0031__as).
arc(r_0031_0033__could, r_0031_0034__go, scope).
arc(r_0031_0034__go, r_0031_0024__he, arg0).
arc(r_0031_0034__go, z_000_31_a_wilde_2_1888_89, nim97).
arc(z_000_31_a_wilde_2_1888_47, r_0031_0019__the_r_0031_0020__slates, r_0031_0018__of).

fof(formula,axiom,
    ? [R_31_22_AND,R_31_25_RAN,R_31_23_THEN,R_31_30_FAST,R_31_29_AS,R_31_27_THE_GARDEN,R_31_33_COULD_GO,R_31_24_HE,Z_31_A_WILDE_2_1888_89] :
      ( then(R_31_23_THEN)
      & as(R_31_29_AS)
      & the_garden(R_31_27_THE_GARDEN)
      & he(R_31_24_HE)
      & ! [R_31_2_DAY,R_31_4_THREE_HOURS] :
          ( ( three_hours(R_31_4_THREE_HOURS)
            & day(R_31_2_DAY)
            & for(R_31_2_DAY,R_31_4_THREE_HOURS) )
         => ? [R_31_14_TILL,R_31_7_RATTLED,R_31_6_HE,R_31_9_THE_ROOF,R_31_12_THE_CASTLE] :
              ( he(R_31_6_HE)
              & the_castle(R_31_12_THE_CASTLE)
              & ! [Z_31_A_WILDE_2_1888_47,R_31_19_THE_SLATES] :
                  ( ( the_slates(R_31_19_THE_SLATES)
                    & z_31_a_wilde_2_1888_47(Z_31_A_WILDE_2_1888_47)
                    & of(Z_31_A_WILDE_2_1888_47,R_31_19_THE_SLATES) )
                 => ? [R_31_16_BROKE] : broke(R_31_16_BROKE,R_31_6_HE,Z_31_A_WILDE_2_1888_47) )
              & conj1(CONJ1)
              & till(R_31_14_TILL)
              & conj2(R_31_14_TILL,R_31_7_RATTLED)
              & rattled(R_31_7_RATTLED,R_31_6_HE)
              & nim4(R_31_7_RATTLED,R_31_2_DAY)
              & on_nim25(R_31_7_RATTLED,R_31_9_THE_ROOF)
              & the_roof(R_31_9_THE_ROOF)
              & of(R_31_9_THE_ROOF,R_31_12_THE_CASTLE) ) )
      & conj1(CONJ1)
      & and(R_31_22_AND)
      & conj2(R_31_22_AND,R_31_25_RAN)
      & ran(R_31_25_RAN,R_31_24_HE)
      & nim64(R_31_25_RAN,R_31_23_THEN)
      & nim80(R_31_25_RAN,R_31_30_FAST)
      & fast(R_31_30_FAST)
      & qual81(R_31_30_FAST,R_31_29_AS)
      & as(R_31_30_FAST,Z_31_A_WILDE_2_1888_89)
      & round_and_round_nim75(R_31_25_RAN,R_31_27_THE_GARDEN)
      & could_go(R_31_33_COULD_GO,R_31_24_HE)
      & nim97(R_31_33_COULD_GO,Z_31_A_WILDE_2_1888_89) ) ).

( (IP-MAT (ILYR (ILYR (NP-NIM (Q Every;{every})
                              (N day;{day})
                              (PP (P-ROLE for;{for})
                                  (NP (NUM three;{three})
                                      (NS hours;{hour}))))
                      (NP-SBJ;{HAIL} (PRO he;{he}))
                      (VBD;__ rattled;{rattle})
                      (PP-NIM (P-ROLE on;{on})
                              (NP (D the;{the})
                                  (N roof;{roof})
                                  (PP (P-ROLE of;{of})
                                      (NP (D the;{the})
                                          (N castle;{castle})))))
                      (PP-SCON (P-CONN till;{till})
                               (IP-ADV (NP-SBJ;{HAIL} (PRO he;{he}))
                                       (VBD;__ broke;{break})
                                       (NP-OB1 (Q;_nphd_ most;{most})
                                               (PP (P-ROLE of;{of})
                                                   (NP (D the;{the})
                                                       (NS slates;{slate})))))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (ADVP-NIM (ADV then;{then}))
                             (NP-SBJ;{HAIL} (PRO he;{he}))
                             (VBD;__ ran;{run})
                             (PP-NIM (P-ROLE round_and_round;{round_and_round})
                                     (NP (D the;{the})
                                         (N garden;{garden})))
                             (ADVP-NIM (ADVP (ADV as;{as}))
                                       (ADV fast;{fast})
                                       (PP (P-ROLE as;{as})
                                           (NP (IP-REL (NP-SBJ;{HAIL} (PRO he;{he}))
                                                       (MD;_cat_Vi_ could;{can})
                                                       (IP-INF-CAT (NP-NIM *T*)
                                                                   (VB;__ go;{go})))))))))
          (PUNC .))
  (ID 31_a_wilde_2_1888))