( (IP-MAT (PP-NIM (P-ROLE In;{in})
                  (NP (Q every;{every})
                      (N tree;{tree})
                      (IP-REL (C that;{that})
                              (NP-SBJ;{GIANT} (PRO he;{he}))
                              (MD;_cat_Vi_ could;{can})
                              (IP-INF-CAT (NP-OB1 *T*)
                                          (VB;__ see;{see})))))
          (EX there;{there})
          (BED;_ex_V_ was;{be})
          (NP-ESBJ (D a;{a})
                   (ADJP (ADJ little;{little}))
                   (N child;{child}))
          (PUNC .))
  (ID 46_a_wilde_2_1888))

arc(r_0046_0002__every__quant,r_0046_0003__tree,restriction).
arc(r_0046_0002__every__quant,r_0046_0009__was,scope).
arc(r_0046_0006__could,r_0046_0007__see,scope).
arc(r_0046_0007__see,r_0046_0003__tree,arg1).
arc(r_0046_0007__see,r_0046_0005__he,arg0).
arc(r_0046_0009__was,r_0046_0003__tree,r_0046_0001__In__nim).
arc(r_0046_0009__was,r_0046_0010__a_r_0046_0012__child,arg0).
arc(r_0046_0010__a_r_0046_0012__child,r_0046_0011__little,attrib).

fof(formula,axiom,
    ! [R_0046_0003__TREE,R_0046_0005__HE,R_0046_0006__COULD_R_0046_0007__SEE] :
      ( ( r_0046_0003__tree(R_0046_0003__TREE)
        & r_0046_0005__he(R_0046_0005__HE)
        & r_0046_0006__could_r_0046_0007__see(R_0046_0006__COULD_R_0046_0007__SEE)
        & has_arg0(R_0046_0006__COULD_R_0046_0007__SEE,R_0046_0005__HE)
        & has_arg1(R_0046_0006__COULD_R_0046_0007__SEE,R_0046_0003__TREE) )
     => ? [R_0046_0011__LITTLE,R_0046_0010__A_R_0046_0012__CHILD,R_0046_0009__WAS] :
          ( r_0046_0011__little(R_0046_0011__LITTLE)
          & r_0046_0009__was(R_0046_0009__WAS)
          & has_arg0(R_0046_0009__WAS,R_0046_0010__A_R_0046_0012__CHILD)
          & r_0046_0010__a_r_0046_0012__child(R_0046_0010__A_R_0046_0012__CHILD)
          & has_attrib(R_0046_0010__A_R_0046_0012__CHILD,R_0046_0011__LITTLE)
          & has_r_0046_0001__In__nim(R_0046_0009__WAS,R_0046_0003__TREE) ) ) ).