TSPC 46_a_potter

46_a_potter_1902
He slipped underneath the gate, and was safe at last in the wood outside the garden.

( (IP-MAT (NP-SBJ;{PETER} (PRO He;{he}))
          (ILYR (ILYR (VBD;_Ipr_ slipped;{slip[underneath]})
                      (PP-CLR (P-ROLE underneath;{underneath})
                              (NP;{GARDEN_GATE} (D the;{the})
                                                (N gate;{gate}))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (BED;_La_ was;{be})
                             (ADJP-PRD (ADJ safe;{safe}))
                             (ADVP-NIM (ADV at_last;{at_last}))
                             (PP-NIM (P-ROLE in;{in})
                                     (NP (D the;{the})
                                         (N wood;{wood})
                                         (PP (P-ROLE outside;{outside})
                                             (NP (D the;{the})
                                                 (N garden;{garden}))))))))
          (PUNC .))
  (ID 46_a_potter_1902))

arc(r_0046_0002__slipped_r_0046_0003__underneath,r_0046_0001__He,arg0).
arc(r_0046_0002__slipped_r_0046_0003__underneath,r_0046_0004__the_r_0046_0005__gate,arg1).
arc(r_0046_0007__and,r_0046_0002__slipped_r_0046_0003__underneath,conj1).
arc(r_0046_0007__and,r_0046_0008__was,conj2).
arc(r_0046_0008__was,r_0046_0001__He,arg0).
arc(r_0046_0008__was,r_0046_0009__safe,prd).
arc(r_0046_0008__was,r_0046_0010__at_last,nim).
arc(r_0046_0008__was,r_0046_0012__the_r_0046_0013__wood,r_0046_0011__in__nim).
arc(r_0046_0012__the_r_0046_0013__wood,r_0046_0015__the_r_0046_0016__garden,r_0046_0014__outside).

fof(formula,axiom,
    ? [R_0046_0001__HE,R_0046_0004__THE_R_0046_0005__GATE,R_0046_0002__SLIPPED_R_0046_0003__UNDERNEATH,R_0046_0009__SAFE,R_0046_0010__AT_LAST,R_0046_0015__THE_R_0046_0016__GARDEN,R_0046_0012__THE_R_0046_0013__WOOD,R_0046_0008__WAS,R_0046_0007__AND] :
      ( r_0046_0001__He(R_0046_0001__HE)
      & r_0046_0004__the_r_0046_0005__gate(R_0046_0004__THE_R_0046_0005__GATE)
      & r_0046_0009__safe(R_0046_0009__SAFE)
      & r_0046_0010__at_last(R_0046_0010__AT_LAST)
      & r_0046_0015__the_r_0046_0016__garden(R_0046_0015__THE_R_0046_0016__GARDEN)
      & r_0046_0007__and(R_0046_0007__AND)
      & has_conj2(R_0046_0007__AND,R_0046_0008__WAS)
      & r_0046_0008__was(R_0046_0008__WAS)
      & has_r_0046_0011__in__nim(R_0046_0008__WAS,R_0046_0012__THE_R_0046_0013__WOOD)
      & r_0046_0012__the_r_0046_0013__wood(R_0046_0012__THE_R_0046_0013__WOOD)
      & has_r_0046_0014__outside(R_0046_0012__THE_R_0046_0013__WOOD,R_0046_0015__THE_R_0046_0016__GARDEN)
      & has_nim(R_0046_0008__WAS,R_0046_0010__AT_LAST)
      & has_prd(R_0046_0008__WAS,R_0046_0009__SAFE)
      & has_arg0(R_0046_0008__WAS,R_0046_0001__HE)
      & has_conj1(R_0046_0007__AND,R_0046_0002__SLIPPED_R_0046_0003__UNDERNEATH)
      & r_0046_0002__slipped_r_0046_0003__underneath(R_0046_0002__SLIPPED_R_0046_0003__UNDERNEATH)
      & has_arg1(R_0046_0002__SLIPPED_R_0046_0003__UNDERNEATH,R_0046_0004__THE_R_0046_0005__GATE)
      & has_arg0(R_0046_0002__SLIPPED_R_0046_0003__UNDERNEATH,R_0046_0001__HE) ) ).