( (IP-MAT (NP-SBJ;{CHILDREN} (D The;{the})
                             (ADJP (ADJ poor;{poor}))
                             (NS children;{child}))
          (HVD;_Tn_ had;{have})
          (ADVP-NIM (ADV now;{now}))
          (NP-OB1 (Q;_nphd_ nowhere;{nowhere})
                  (IP-INF-REL (NP-NIM *T*)
                              (TO to;{to})
                              (VB;_I_ play;{play})))
          (PUNC .))
  (ID 16_a_wilde_2_1888))

arc(r_0016_0001__The_r_0016_0003__children,r_0016_0002__poor,attrib).
arc(r_0016_0004__had,r_0016_0001__The_r_0016_0003__children,arg0).
arc(r_0016_0004__had,r_0016_0005__now,nim).
arc(r_0016_0004__had,z_0016_5008,arg1).
arc(r_0016_0006__nowhere__quant,r_0016_0004__had,scope).
arc(r_0016_0006__nowhere__quant,z_0016_5008,restriction).
arc(r_0016_0008__play,z_0016_5006,arg0).
arc(r_0016_0008__play,z_0016_5008,inv_nim).

fof(formula,axiom,
    ! [Z_0016_5008,Z_0016_5006,R_0016_0008__PLAY] :
      ( ( z_0016_5006(Z_0016_5006)
        & z_0016_5008(Z_0016_5008)
        & has_inv_nim(Z_0016_5008,R_0016_0008__PLAY)
        & r_0016_0008__play(R_0016_0008__PLAY)
        & has_arg0(R_0016_0008__PLAY,Z_0016_5006) )
     => ? [R_0016_0002__POOR,R_0016_0001__THE_R_0016_0003__CHILDREN,R_0016_0005__NOW,R_0016_0004__HAD] :
          ( r_0016_0002__poor(R_0016_0002__POOR)
          & r_0016_0005__now(R_0016_0005__NOW)
          & r_0016_0004__had(R_0016_0004__HAD)
          & has_arg1(R_0016_0004__HAD,Z_0016_5008)
          & has_nim(R_0016_0004__HAD,R_0016_0005__NOW)
          & has_arg0(R_0016_0004__HAD,R_0016_0001__THE_R_0016_0003__CHILDREN)
          & r_0016_0001__The_r_0016_0003__children(R_0016_0001__THE_R_0016_0003__CHILDREN)
          & has_attrib(R_0016_0001__THE_R_0016_0003__CHILDREN,R_0016_0002__POOR) ) ) ).