TSPC 10_a_wilde_2

10_a_wilde_2_1888
When he arrived he saw the children playing in the garden.

( (IP-MAT (NP-NIM (IP-REL (ADVP-NIM (RADV When;{when}))
                          (NP-SBJ;{GIANT} (PRO he;{he}))
                          (VBD;_I_ arrived;{arrive})))
          (NP-SBJ;{GIANT} (PRO he;{he}))
          (VBD;_Tn_ saw;{see})
          (NP-OB1;{CHILDREN} (D the;{the})
                             (NS children;{child})
                             (IP-PPL (VAG;_Ipr_ playing;{play[in]})
                                     (PP-CLR (P-ROLE in;{in})
                                             (NP (D the;{the})
                                                 (N garden;{garden})))))
          (PUNC .))
  (ID 10_a_wilde_2_1888))

arc(r_0010_0003__arrived,r_0010_0001__When,nim).
arc(r_0010_0003__arrived,r_0010_0002__he,arg0).
arc(r_0010_0005__saw,r_0010_0001__When,nim).
arc(r_0010_0005__saw,r_0010_0002__he,arg0).
arc(r_0010_0005__saw,r_0010_0006__the_r_0010_0007__children,arg1).
arc(r_0010_0008__playing_r_0010_0009__in,r_0010_0006__the_r_0010_0007__children,inv_arg0).
arc(r_0010_0008__playing_r_0010_0009__in,r_0010_0010__the_r_0010_0011__garden,arg1).

fof(formula,axiom,
    ? [R_0010_0001__WHEN,R_0010_0002__HE,R_0010_0003__ARRIVED,R_0010_0010__THE_R_0010_0011__GARDEN,R_0010_0008__PLAYING_R_0010_0009__IN,R_0010_0006__THE_R_0010_0007__CHILDREN,R_0010_0005__SAW] :
      ( r_0010_0001__When(R_0010_0001__WHEN)
      & r_0010_0002__he(R_0010_0002__HE)
      & r_0010_0010__the_r_0010_0011__garden(R_0010_0010__THE_R_0010_0011__GARDEN)
      & r_0010_0005__saw(R_0010_0005__SAW)
      & has_arg1(R_0010_0005__SAW,R_0010_0006__THE_R_0010_0007__CHILDREN)
      & r_0010_0006__the_r_0010_0007__children(R_0010_0006__THE_R_0010_0007__CHILDREN)
      & has_inv_arg0(R_0010_0006__THE_R_0010_0007__CHILDREN,R_0010_0008__PLAYING_R_0010_0009__IN)
      & r_0010_0008__playing_r_0010_0009__in(R_0010_0008__PLAYING_R_0010_0009__IN)
      & has_arg1(R_0010_0008__PLAYING_R_0010_0009__IN,R_0010_0010__THE_R_0010_0011__GARDEN)
      & has_arg0(R_0010_0005__SAW,R_0010_0002__HE)
      & has_nim(R_0010_0005__SAW,R_0010_0001__WHEN)
      & r_0010_0003__arrived(R_0010_0003__ARRIVED)
      & has_arg0(R_0010_0003__ARRIVED,R_0010_0002__HE)
      & has_nim(R_0010_0003__ARRIVED,R_0010_0001__WHEN) ) ).