TSPC 94_a_wilde_2

94_a_wilde_2_1888
And when the children ran in that afternoon, they found the Giant lying dead under the tree, all covered with white blossoms.

( (IP-MAT (CONJ;_cl_ And;{and})
          (PP-SCON (P-CONN when;{when})
                   (IP-ADV (NP-SBJ;{CHILDREN} (D the;{the})
                                              (NS children;{child}))
                           (VBD;_phr_Vp_ ran;{run[in]})
                           (RP in;{in})
                           (NP-NIM (D that;{that})
                                   (N afternoon;{afternoon}))))
          (PUNC ,)
          (NP-SBJ;{CHILDREN} (PRO they;{they}))
          (VBD;_Cn.g_ found;{find})
          (NP-OB1;{GIANT} (D the;{the})
                          (N Giant;{giant}))
          (IP-PPL-PRD (VAG;_La_ lying;{lie})
                      (ADJP-PRD (ADJ dead;{dead}))
                      (PP-NIM (P-ROLE under;{under})
                              (NP;{WHITE_TREE} (D the;{the})
                                               (N tree;{tree})
                                               (PUNC ,)
                                               (ADJP (ADVP (ADV all;{all}))
                                                     (ADJ covered;{covered})
                                                     (PP (P-ROLE with;{with})
                                                         (NP (ADJP (ADJ white;{white}))
                                                             (NS blossoms;{blossom})))))))
          (PUNC .))
  (ID 94_a_wilde_2_1888))

arc(r_0094_0002__when,r_0094_0005__ran_r_0094_0006__in,restriction).
arc(r_0094_0002__when,r_0094_0011__found,scope).
arc(r_0094_0005__ran_r_0094_0006__in,r_0094_0003__the_r_0094_0004__children,arg0).
arc(r_0094_0005__ran_r_0094_0006__in,r_0094_0007__that_r_0094_0008__afternoon,nim).
arc(r_0094_0011__found,r_0094_0003__the_r_0094_0004__children,arg0).
arc(r_0094_0011__found,r_0094_0012__the_r_0094_0013__Giant,arg1).
arc(r_0094_0011__found,r_0094_0014__lying,prd).
arc(r_0094_0014__lying,r_0094_0015__dead,prd).
arc(r_0094_0014__lying,r_0094_0017__the_r_0094_0018__tree,r_0094_0016__under__nim).
arc(r_0094_0014__lying,z_0094_5009,arg0).
arc(r_0094_0017__the_r_0094_0018__tree,r_0094_0021__covered,attrib).
arc(r_0094_0021__covered,r_0094_0020__all,qual).
arc(r_0094_0021__covered,r_0094_0024__blossoms,r_0094_0022__with).
arc(r_0094_0024__blossoms,r_0094_0023__white,attrib).

fof(formula,axiom,
    ! [R_0094_0005__RAN_R_0094_0006__IN,R_0094_0003__THE_R_0094_0004__CHILDREN,R_0094_0007__THAT_R_0094_0008__AFTERNOON] :
      ( ( r_0094_0003__the_r_0094_0004__children(R_0094_0003__THE_R_0094_0004__CHILDREN)
        & r_0094_0007__that_r_0094_0008__afternoon(R_0094_0007__THAT_R_0094_0008__AFTERNOON)
        & r_0094_0005__ran_r_0094_0006__in(R_0094_0005__RAN_R_0094_0006__IN)
        & has_nim(R_0094_0005__RAN_R_0094_0006__IN,R_0094_0007__THAT_R_0094_0008__AFTERNOON)
        & has_arg0(R_0094_0005__RAN_R_0094_0006__IN,R_0094_0003__THE_R_0094_0004__CHILDREN) )
     => ? [R_0094_0012__THE_R_0094_0013__GIANT,R_0094_0015__DEAD,R_0094_0020__ALL,R_0094_0023__WHITE,R_0094_0024__BLOSSOMS,R_0094_0021__COVERED,R_0094_0017__THE_R_0094_0018__TREE,Z_0094_5009,R_0094_0014__LYING,R_0094_0011__FOUND] :
          ( r_0094_0012__the_r_0094_0013__Giant(R_0094_0012__THE_R_0094_0013__GIANT)
          & r_0094_0015__dead(R_0094_0015__DEAD)
          & r_0094_0020__all(R_0094_0020__ALL)
          & r_0094_0023__white(R_0094_0023__WHITE)
          & z_0094_5009(Z_0094_5009)
          & r_0094_0011__found(R_0094_0011__FOUND)
          & has_prd(R_0094_0011__FOUND,R_0094_0014__LYING)
          & r_0094_0014__lying(R_0094_0014__LYING)
          & has_arg0(R_0094_0014__LYING,Z_0094_5009)
          & has_r_0094_0016__under__nim(R_0094_0014__LYING,R_0094_0017__THE_R_0094_0018__TREE)
          & r_0094_0017__the_r_0094_0018__tree(R_0094_0017__THE_R_0094_0018__TREE)
          & has_attrib(R_0094_0017__THE_R_0094_0018__TREE,R_0094_0021__COVERED)
          & r_0094_0021__covered(R_0094_0021__COVERED)
          & has_r_0094_0022__with(R_0094_0021__COVERED,R_0094_0024__BLOSSOMS)
          & r_0094_0024__blossoms(R_0094_0024__BLOSSOMS)
          & has_attrib(R_0094_0024__BLOSSOMS,R_0094_0023__WHITE)
          & has_qual(R_0094_0021__COVERED,R_0094_0020__ALL)
          & has_prd(R_0094_0014__LYING,R_0094_0015__DEAD)
          & has_arg1(R_0094_0011__FOUND,R_0094_0012__THE_R_0094_0013__GIANT)
          & has_arg0(R_0094_0011__FOUND,R_0094_0003__THE_R_0094_0004__CHILDREN) ) ) ).