TSPC 11_a_potter

11_a_potter_1902
First he ate some lettuces and some French beans; and then he ate some radishes; And then, feeling rather sick, he went to look for some parsley.

arc(r_0011_0003__ate, r_0011_0001__First, nim6).
arc(r_0011_0003__ate, r_0011_0002__he, arg0).
arc(r_0011_0003__ate, r_0011_0006__and, arg1).
arc(r_0011_0006__and, r_0011_0004__some_r_0011_0005__lettuces, conj1).
arc(r_0011_0006__and, r_0011_0007__some_r_0011_0009__beans, conj2).
arc(r_0011_0007__some_r_0011_0009__beans, r_0011_0008__French, attrib27).
arc(r_0011_0011__and, r_0011_0003__ate, conj1).
arc(r_0011_0011__and, r_0011_0014__ate, conj2).
arc(r_0011_0014__ate, r_0011_0012__then, nim38).
arc(r_0011_0014__ate, r_0011_0013__he, arg0).
arc(r_0011_0014__ate, r_0011_0015__some_r_0011_0016__radishes, arg1).
arc(r_0011_0018__And, r_0011_0011__and, conj1).
arc(r_0011_0018__And, z_000_11_a_potter_1902_62, conj2).
arc(r_0011_0021__feeling, r_0011_0023__sick, prd).
arc(r_0011_0021__feeling, r_0011_0025__he, arg0).
arc(r_0011_0023__sick, r_0011_0022__rather, qual67).
arc(r_0011_0026__went, r_0011_0019__then, nim57).
arc(r_0011_0026__went, r_0011_0025__he, arg0).
arc(r_0011_0026__went, r_0011_0027__to_r_0011_0028__look, clr79).
arc(r_0011_0027__to_r_0011_0028__look, r_0011_0025__he, arg0).
arc(r_0011_0027__to_r_0011_0028__look, r_0011_0030__some_r_0011_0031__parsley, r_0011_0029__for_clr87).
arc(z_000_11_a_potter_1902_62, r_0011_0021__feeling, restriction).
arc(z_000_11_a_potter_1902_62, r_0011_0026__went, scope).

fof(formula,axiom,
    ? [R_11_18_AND,R_11_11_AND,R_11_3_ATE,R_11_2_HE,R_11_6_AND,R_11_4_SOME_LETTUCES,R_11_7_SOME_BEANS,R_11_8_FRENCH,R_11_1_FIRST,R_11_14_ATE,R_11_13_HE,R_11_15_SOME_RADISHES,R_11_12_THEN,Z_11_A_POTTER_1902_62,R_11_21_FEELING,R_11_23_SICK,R_11_22_RATHER,R_11_26_WENT,R_11_27_TO_LOOK,R_11_25_HE,R_11_30_SOME_PARSLEY,R_11_19_THEN] :
      ( he(R_11_2_HE)
      & some_lettuces(R_11_4_SOME_LETTUCES)
      & french(R_11_8_FRENCH)
      & first(R_11_1_FIRST)
      & he(R_11_13_HE)
      & some_radishes(R_11_15_SOME_RADISHES)
      & then(R_11_12_THEN)
      & rather(R_11_22_RATHER)
      & he(R_11_25_HE)
      & some_parsley(R_11_30_SOME_PARSLEY)
      & then(R_11_19_THEN)
      & and(R_11_18_AND)
      & conj1(R_11_18_AND,R_11_11_AND)
      & and(R_11_11_AND)
      & conj1(R_11_11_AND,R_11_3_ATE)
      & ate(R_11_3_ATE,R_11_2_HE,R_11_6_AND)
      & and(R_11_6_AND)
      & conj1(R_11_6_AND,R_11_4_SOME_LETTUCES)
      & conj2(R_11_6_AND,R_11_7_SOME_BEANS)
      & some_beans(R_11_7_SOME_BEANS)
      & attrib27(R_11_7_SOME_BEANS,R_11_8_FRENCH)
      & nim6(R_11_3_ATE,R_11_1_FIRST)
      & conj2(R_11_11_AND,R_11_14_ATE)
      & ate(R_11_14_ATE,R_11_13_HE,R_11_15_SOME_RADISHES)
      & nim38(R_11_14_ATE,R_11_12_THEN)
      & conj2(R_11_18_AND,Z_11_A_POTTER_1902_62)
      & z_11_a_potter_1902_62(Z_11_A_POTTER_1902_62)
      & conj1(Z_11_A_POTTER_1902_62,R_11_21_FEELING)
      & feeling(R_11_21_FEELING,R_11_25_HE,R_11_23_SICK)
      & sick(R_11_23_SICK)
      & qual67(R_11_23_SICK,R_11_22_RATHER)
      & conj2(Z_11_A_POTTER_1902_62,R_11_26_WENT)
      & went(R_11_26_WENT,R_11_25_HE)
      & clr79(R_11_26_WENT,R_11_27_TO_LOOK)
      & to_look(R_11_27_TO_LOOK,R_11_25_HE)
      & for_clr87(R_11_27_TO_LOOK,R_11_30_SOME_PARSLEY)
      & nim57(R_11_26_WENT,R_11_19_THEN) ) ).

( (IP-MAT (ILYR (ILYR (ILYR (ILYR (ADVP-NIM (ADV First;{first}))
                                  (NP-SBJ;{PETER} (PRO he;{he}))
                                  (VBD;_Tn_ ate;{eat})
                                  (NP-OB1 (NLYR (NLYR (D some;{some})
                                                      (NS lettuces;{lettuce}))
                                                (CONJP (CONJ and;{and})
                                                       (NLYR (D some;{some})
                                                             (ADJP (ADJ French;{french}))
                                                             (NS beans;{bean}))))))
                            (PUNC ;)
                            (CONJP (CONJ and;{and})
                                   (ILYR (ADVP-NIM (ADV then;{then}))
                                         (NP-SBJ;{PETER} (PRO he;{he}))
                                         (VBD;_Tn_ ate;{eat})
                                         (NP-OB1 (D some;{some})
                                                 (NS radishes;{radish}))))))
                (PUNC ;)
                (CONJP (CONJ And;{and})
                       (ILYR (ADVP-NIM (ADV then;{then}))
                             (PUNC ,)
                             (PP-SCON (IP-PPL2 (VAG;_La_ feeling;{feel})
                                               (ADJP-PRD (ADVP (ADV rather;{rather}))
                                                         (ADJ sick;{sick}))))
                             (PUNC ,)
                             (NP-SBJ;{PETER} (PRO he;{he}))
                             (VBD;_It_ went;{go})
                             (IP-INF-CLR (TO to;{to})
                                         (VB;_Ipr_ look;{look[for]})
                                         (PP-CLR (P-ROLE for;{for})
                                                 (NP (D some;{some})
                                                     (N parsley;{parsley})))))))
          (PUNC .))
  (ID 11_a_potter_1902))