TSPC 14_a_potter

14_a_potter_1902
Peter was most dreadfully frightened; he rushed all over the garden, for he had forgotten the way back to the gate.

( (IP-MAT (ILYR (ILYR (NP-SBJ;{PETER} (NPR Peter;{Peter}))
                      (BED;_La_ was;{be})
                      (ADJP-PRD (ADVP (ADVP (ADVS most;{most}))
                                      (ADV dreadfully;{dreadfully}))
                                (ADJ frightened;{frightened})))
                (PUNC ;)
                (CONJP (ILYR (NP-SBJ;{PETER} (PRO he;{he}))
                             (VBD;_Ipr_ rushed;{rush[over]})
                             (PP-CLR (ADVP-NIM (ADV all;{all}))
                                     (P-ROLE over;{over})
                                     (NP (D the;{the})
                                         (N garden;{garden})))
                             (PUNC ,)
                             (PP-SCON (P-CONN for;{for})
                                      (IP-ADV (NP-SBJ;{PETER} (PRO he;{he}))
                                              (HVD;_cat_Ve_ had;{have})
                                              (IP-PPL-CAT (VVN;_Tn_ forgotten;{forget})
                                                          (NP-OB1 (D the;{the})
                                                                  (N way;{way})
                                                                  (ADVP (ADV back;{back}))
                                                                  (PP (P-ROLE to;{to})
                                                                      (NP;{GARDEN_GATE} (D the;{the})
                                                                                        (N gate;{gate}))))))))))
          (PUNC .))
  (ID 14_a_potter_1902))

arc(r_0014_0002__was,r_0014_0001__Peter,arg0).
arc(r_0014_0002__was,r_0014_0005__frightened,prd).
arc(r_0014_0004__dreadfully,r_0014_0003__most,qual).
arc(r_0014_0005__frightened,r_0014_0004__dreadfully,qual).
arc(r_0014_0008__rushed_r_0014_0009__all_r_0014_0010__over,r_0014_0001__Peter,arg0).
arc(r_0014_0008__rushed_r_0014_0009__all_r_0014_0010__over,r_0014_0011__the_r_0014_0012__garden,arg1).
arc(r_0014_0014__for,r_0014_0008__rushed_r_0014_0009__all_r_0014_0010__over,scope).
arc(r_0014_0014__for,r_0014_0016__had,restriction).
arc(r_0014_0016__had,r_0014_0017__forgotten,scope).
arc(r_0014_0017__forgotten,r_0014_0001__Peter,arg0).
arc(r_0014_0017__forgotten,r_0014_0018__the_r_0014_0019__way,arg1).
arc(r_0014_0018__the_r_0014_0019__way,r_0014_0020__back,qual).
arc(r_0014_0018__the_r_0014_0019__way,r_0014_0022__the_r_0014_0023__gate,r_0014_0021__to).
arc(z_0014_5001,r_0014_0002__was,conj1).
arc(z_0014_5001,r_0014_0014__for,conj2).

fof(formula,axiom,
    ? [R_0014_0001__PETER,R_0014_0003__MOST,R_0014_0004__DREADFULLY,R_0014_0005__FRIGHTENED,R_0014_0002__WAS,R_0014_0011__THE_R_0014_0012__GARDEN,R_0014_0008__RUSHED_R_0014_0009__ALL_R_0014_0010__OVER,R_0014_0020__BACK,R_0014_0022__THE_R_0014_0023__GATE,R_0014_0018__THE_R_0014_0019__WAY,R_0014_0016__HAD_R_0014_0017__FORGOTTEN,R_0014_0014__FOR,Z_0014_5001] :
      ( r_0014_0001__Peter(R_0014_0001__PETER)
      & r_0014_0003__most(R_0014_0003__MOST)
      & r_0014_0011__the_r_0014_0012__garden(R_0014_0011__THE_R_0014_0012__GARDEN)
      & r_0014_0020__back(R_0014_0020__BACK)
      & r_0014_0022__the_r_0014_0023__gate(R_0014_0022__THE_R_0014_0023__GATE)
      & z_0014_5001(Z_0014_5001)
      & has_conj2(Z_0014_5001,R_0014_0014__FOR)
      & r_0014_0014__for(R_0014_0014__FOR)
      & has_conj1(R_0014_0014__FOR,R_0014_0016__HAD_R_0014_0017__FORGOTTEN)
      & r_0014_0016__had_r_0014_0017__forgotten(R_0014_0016__HAD_R_0014_0017__FORGOTTEN)
      & has_arg1(R_0014_0016__HAD_R_0014_0017__FORGOTTEN,R_0014_0018__THE_R_0014_0019__WAY)
      & r_0014_0018__the_r_0014_0019__way(R_0014_0018__THE_R_0014_0019__WAY)
      & has_r_0014_0021__to(R_0014_0018__THE_R_0014_0019__WAY,R_0014_0022__THE_R_0014_0023__GATE)
      & has_qual(R_0014_0018__THE_R_0014_0019__WAY,R_0014_0020__BACK)
      & has_arg0(R_0014_0016__HAD_R_0014_0017__FORGOTTEN,R_0014_0001__PETER)
      & has_conj2(R_0014_0014__FOR,R_0014_0008__RUSHED_R_0014_0009__ALL_R_0014_0010__OVER)
      & r_0014_0008__rushed_r_0014_0009__all_r_0014_0010__over(R_0014_0008__RUSHED_R_0014_0009__ALL_R_0014_0010__OVER)
      & has_arg1(R_0014_0008__RUSHED_R_0014_0009__ALL_R_0014_0010__OVER,R_0014_0011__THE_R_0014_0012__GARDEN)
      & has_arg0(R_0014_0008__RUSHED_R_0014_0009__ALL_R_0014_0010__OVER,R_0014_0001__PETER)
      & has_conj1(Z_0014_5001,R_0014_0002__WAS)
      & r_0014_0002__was(R_0014_0002__WAS)
      & has_prd(R_0014_0002__WAS,R_0014_0005__FRIGHTENED)
      & r_0014_0005__frightened(R_0014_0005__FRIGHTENED)
      & has_qual(R_0014_0005__FRIGHTENED,R_0014_0004__DREADFULLY)
      & r_0014_0004__dreadfully(R_0014_0004__DREADFULLY)
      & has_qual(R_0014_0004__DREADFULLY,R_0014_0003__MOST)
      & has_arg0(R_0014_0002__WAS,R_0014_0001__PETER) ) ).