TSPC 176_a_wilde_1

176_a_wilde_1_1888
Pluck out my other eye and give it to her, and her father will not beat her.”

( (IP-IMP (ILYR (ILYR (ILYR (ILYR (VB;__ Pluck;{pluck})
                                  (RP out;{out})
                                  (NP-OB1;{SECOND_EYE} (NP-GEN;{PRINCE} (PRO;_genm_ my;{my}))
                                                       (ADJP (ADJ other;{other}))
                                                       (N eye;{eye})))
                            (CONJP (CONJ and;{and})
                                   (ILYR (VB;_Dn.pr_ give;{give[to]})
                                         (NP-OB1;{SECOND_EYE} (PRO it;{it}))
                                         (PP-OB2 (P-ROLE to;{to})
                                                 (NP;{MATCH_GIRL} (PRO her;{her})))))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ (NP-GEN;{MATCH_GIRL} (PRO;_genm_ her;{her}))
                                     (N father;{father}))
                             (MD;_cat_Vi_ will;{will})
                             (NEG not;{not})
                             (IP-INF-CAT (VB;__ beat;{beat})
                                         (NP-OB1;{MATCH_GIRL} (PRO her;{her}))))))
          (PUNC .)
          (PURQ <rdquo>))
  (ID 176_a_wilde_1_1888))

arc(r_0176_0001__Pluck_r_0176_0002__out,r_0176_0005__eye,arg1).
arc(r_0176_0005__eye,r_0176_0003__my,gen).
arc(r_0176_0005__eye,r_0176_0004__other,attrib).
arc(r_0176_0006__and,r_0176_0001__Pluck_r_0176_0002__out,conj1).
arc(r_0176_0006__and,r_0176_0007__give_r_0176_0009__to,conj2).
arc(r_0176_0007__give_r_0176_0009__to,r_0176_0005__eye,arg1).
arc(r_0176_0007__give_r_0176_0009__to,r_0176_0010__her,arg2).
arc(r_0176_0012__and,r_0176_0006__and,conj1).
arc(r_0176_0012__and,r_0176_0016__not,conj2).
arc(r_0176_0014__father,r_0176_0010__her,gen).
arc(r_0176_0015__will,r_0176_0017__beat,scope).
arc(r_0176_0016__not,r_0176_0015__will,keep_scope).
arc(r_0176_0017__beat,r_0176_0010__her,arg1).
arc(r_0176_0017__beat,r_0176_0014__father,arg0).

fof(formula,axiom,
    ? [R_0176_0003__MY,R_0176_0004__OTHER,R_0176_0005__EYE,R_0176_0001__PLUCK_R_0176_0002__OUT,R_0176_0010__HER,R_0176_0007__GIVE_R_0176_0009__TO,R_0176_0006__AND,R_0176_0012__AND] :
      ( r_0176_0003__my(R_0176_0003__MY)
      & r_0176_0004__other(R_0176_0004__OTHER)
      & r_0176_0010__her(R_0176_0010__HER)
      & r_0176_0012__and(R_0176_0012__AND)
      & has_conj2(R_0176_0012__AND,R_0176_0016__NOT)
      & ~ ? [R_0176_0014__FATHER,R_0176_0015__WILL_R_0176_0017__BEAT] :
            ( r_0176_0015__will_r_0176_0017__beat(R_0176_0015__WILL_R_0176_0017__BEAT)
            & has_arg0(R_0176_0015__WILL_R_0176_0017__BEAT,R_0176_0014__FATHER)
            & r_0176_0014__father(R_0176_0014__FATHER)
            & has_gen(R_0176_0014__FATHER,R_0176_0010__HER)
            & has_arg1(R_0176_0015__WILL_R_0176_0017__BEAT,R_0176_0010__HER) )
      & has_conj1(R_0176_0012__AND,R_0176_0006__AND)
      & r_0176_0006__and(R_0176_0006__AND)
      & has_conj2(R_0176_0006__AND,R_0176_0007__GIVE_R_0176_0009__TO)
      & r_0176_0007__give_r_0176_0009__to(R_0176_0007__GIVE_R_0176_0009__TO)
      & has_arg2(R_0176_0007__GIVE_R_0176_0009__TO,R_0176_0010__HER)
      & has_arg1(R_0176_0007__GIVE_R_0176_0009__TO,R_0176_0005__EYE)
      & r_0176_0005__eye(R_0176_0005__EYE)
      & has_attrib(R_0176_0005__EYE,R_0176_0004__OTHER)
      & has_gen(R_0176_0005__EYE,R_0176_0003__MY)
      & has_conj1(R_0176_0006__AND,R_0176_0001__PLUCK_R_0176_0002__OUT)
      & r_0176_0001__Pluck_r_0176_0002__out(R_0176_0001__PLUCK_R_0176_0002__OUT)
      & has_arg1(R_0176_0001__PLUCK_R_0176_0002__OUT,R_0176_0005__EYE) ) ).