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.

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

arc(r_0011_0003__ate,r_0011_0001__First,nim).
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,attrib).
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_0002__he,arg0).
arc(r_0011_0014__ate,r_0011_0012__then,nim).
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_0011_5014,conj2).
arc(r_0011_0021__feeling,r_0011_0002__he,arg0).
arc(r_0011_0021__feeling,r_0011_0023__sick,prd).
arc(r_0011_0023__sick,r_0011_0022__rather,qual).
arc(r_0011_0026__went,r_0011_0002__he,arg0).
arc(r_0011_0026__went,r_0011_0019__then,nim).
arc(r_0011_0026__went,r_0011_0028__look_r_0011_0029__for,clr).
arc(r_0011_0028__look_r_0011_0029__for,r_0011_0002__he,arg0).
arc(r_0011_0028__look_r_0011_0029__for,r_0011_0030__some_r_0011_0031__parsley,arg1).
arc(z_0011_5014,r_0011_0021__feeling,restriction).
arc(z_0011_5014,r_0011_0026__went,scope).

fof(formula,axiom,
    ? [R_0011_0001__FIRST,R_0011_0002__HE,R_0011_0004__SOME_R_0011_0005__LETTUCES,R_0011_0008__FRENCH,R_0011_0007__SOME_R_0011_0009__BEANS,R_0011_0006__AND,R_0011_0003__ATE,R_0011_0012__THEN,R_0011_0015__SOME_R_0011_0016__RADISHES,R_0011_0014__ATE,R_0011_0011__AND,R_0011_0022__RATHER,R_0011_0023__SICK,R_0011_0021__FEELING,R_0011_0019__THEN,R_0011_0030__SOME_R_0011_0031__PARSLEY,R_0011_0028__LOOK_R_0011_0029__FOR,R_0011_0026__WENT,Z_0011_5014,R_0011_0018__AND] :
      ( r_0011_0001__First(R_0011_0001__FIRST)
      & r_0011_0002__he(R_0011_0002__HE)
      & r_0011_0004__some_r_0011_0005__lettuces(R_0011_0004__SOME_R_0011_0005__LETTUCES)
      & r_0011_0008__French(R_0011_0008__FRENCH)
      & r_0011_0012__then(R_0011_0012__THEN)
      & r_0011_0015__some_r_0011_0016__radishes(R_0011_0015__SOME_R_0011_0016__RADISHES)
      & r_0011_0019__then(R_0011_0019__THEN)
      & r_0011_0022__rather(R_0011_0022__RATHER)
      & r_0011_0030__some_r_0011_0031__parsley(R_0011_0030__SOME_R_0011_0031__PARSLEY)
      & r_0011_0018__And(R_0011_0018__AND)
      & has_conj2(R_0011_0018__AND,Z_0011_5014)
      & z_0011_5014(Z_0011_5014)
      & has_conj2(Z_0011_5014,R_0011_0026__WENT)
      & r_0011_0026__went(R_0011_0026__WENT)
      & has_clr(R_0011_0026__WENT,R_0011_0028__LOOK_R_0011_0029__FOR)
      & r_0011_0028__look_r_0011_0029__for(R_0011_0028__LOOK_R_0011_0029__FOR)
      & has_arg1(R_0011_0028__LOOK_R_0011_0029__FOR,R_0011_0030__SOME_R_0011_0031__PARSLEY)
      & has_arg0(R_0011_0028__LOOK_R_0011_0029__FOR,R_0011_0002__HE)
      & has_nim(R_0011_0026__WENT,R_0011_0019__THEN)
      & has_arg0(R_0011_0026__WENT,R_0011_0002__HE)
      & has_conj1(Z_0011_5014,R_0011_0021__FEELING)
      & r_0011_0021__feeling(R_0011_0021__FEELING)
      & has_prd(R_0011_0021__FEELING,R_0011_0023__SICK)
      & r_0011_0023__sick(R_0011_0023__SICK)
      & has_qual(R_0011_0023__SICK,R_0011_0022__RATHER)
      & has_arg0(R_0011_0021__FEELING,R_0011_0002__HE)
      & has_conj1(R_0011_0018__AND,R_0011_0011__AND)
      & r_0011_0011__and(R_0011_0011__AND)
      & has_conj2(R_0011_0011__AND,R_0011_0014__ATE)
      & r_0011_0014__ate(R_0011_0014__ATE)
      & has_arg1(R_0011_0014__ATE,R_0011_0015__SOME_R_0011_0016__RADISHES)
      & has_nim(R_0011_0014__ATE,R_0011_0012__THEN)
      & has_arg0(R_0011_0014__ATE,R_0011_0002__HE)
      & has_conj1(R_0011_0011__AND,R_0011_0003__ATE)
      & r_0011_0003__ate(R_0011_0003__ATE)
      & has_arg1(R_0011_0003__ATE,R_0011_0006__AND)
      & r_0011_0006__and(R_0011_0006__AND)
      & has_conj2(R_0011_0006__AND,R_0011_0007__SOME_R_0011_0009__BEANS)
      & r_0011_0007__some_r_0011_0009__beans(R_0011_0007__SOME_R_0011_0009__BEANS)
      & has_attrib(R_0011_0007__SOME_R_0011_0009__BEANS,R_0011_0008__FRENCH)
      & has_conj1(R_0011_0006__AND,R_0011_0004__SOME_R_0011_0005__LETTUCES)
      & has_arg0(R_0011_0003__ATE,R_0011_0002__HE)
      & has_nim(R_0011_0003__ATE,R_0011_0001__FIRST) ) ).