TSPC 14_a_wilde_1

14_a_wilde_1_1888
and the Mathematical Master frowned and looked very severe, for he did not approve of children dreaming.

( (IP-MAT (CONJ;_cl_ and;{and})
          (NP-SBJ;{MATH_MASTER} (D the;{the})
                                (ADJP (ADJ Mathematical;{mathematical}))
                                (N Master;{master}))
          (ILYR (ILYR (VBD;_I_ frowned;{frown}))
                (CONJP (CONJ and;{and})
                       (ILYR (VBD;_La_ looked;{look})
                             (ADJP-PRD (ADVP (ADV very;{very}))
                                       (ADJ severe;{severe})))))
          (PUNC ,)
          (PP-SCON (P-CONN for;{for})
                   (IP-ADV (NP-SBJ;{MATH_MASTER} (PRO he;{he}))
                           (DOD did;{do})
                           (NEG not;{not})
                           (VB;_Ipr_ approve;{approve[of]})
                           (PP-CLR (P-ROLE of;{of})
                                   (IP-PPL3 (NP-SBJ;{PERSONS} (NS children;{child}))
                                            (VAG;_I_ dreaming;{dream})))))
          (PUNC .))
  (ID 14_a_wilde_1_1888))

arc(r_0014_0002__the_r_0014_0004__Master,r_0014_0003__Mathematical,attrib).
arc(r_0014_0005__frowned,r_0014_0002__the_r_0014_0004__Master,arg0).
arc(r_0014_0006__and,r_0014_0005__frowned,conj1).
arc(r_0014_0006__and,r_0014_0007__looked,conj2).
arc(r_0014_0007__looked,r_0014_0002__the_r_0014_0004__Master,arg0).
arc(r_0014_0007__looked,r_0014_0009__severe,prd).
arc(r_0014_0009__severe,r_0014_0008__very,qual).
arc(r_0014_0011__for,r_0014_0006__and,scope).
arc(r_0014_0011__for,r_0014_0014__not,restriction).
arc(r_0014_0013__did_r_0014_0015__approve,r_0014_0002__the_r_0014_0004__Master,arg0).
arc(r_0014_0013__did_r_0014_0015__approve,r_0014_0018__dreaming,r_0014_0016__of__clr).
arc(r_0014_0014__not,r_0014_0013__did_r_0014_0015__approve,keep_scope).
arc(r_0014_0018__dreaming,r_0014_0017__children,arg0).

fof(formula,axiom,
    ? [R_0014_0003__MATHEMATICAL,R_0014_0002__THE_R_0014_0004__MASTER,R_0014_0005__FROWNED,R_0014_0008__VERY,R_0014_0009__SEVERE,R_0014_0007__LOOKED,R_0014_0006__AND,R_0014_0011__FOR] :
      ( r_0014_0003__Mathematical(R_0014_0003__MATHEMATICAL)
      & r_0014_0008__very(R_0014_0008__VERY)
      & r_0014_0011__for(R_0014_0011__FOR)
      & has_conj1(R_0014_0011__FOR,R_0014_0014__NOT)
      & ~ ? [R_0014_0017__CHILDREN,R_0014_0018__DREAMING,R_0014_0013__DID_R_0014_0015__APPROVE] :
            ( r_0014_0017__children(R_0014_0017__CHILDREN)
            & r_0014_0013__did_r_0014_0015__approve(R_0014_0013__DID_R_0014_0015__APPROVE)
            & has_r_0014_0016__of__clr(R_0014_0013__DID_R_0014_0015__APPROVE,R_0014_0018__DREAMING)
            & r_0014_0018__dreaming(R_0014_0018__DREAMING)
            & has_arg0(R_0014_0018__DREAMING,R_0014_0017__CHILDREN)
            & has_arg0(R_0014_0013__DID_R_0014_0015__APPROVE,R_0014_0002__THE_R_0014_0004__MASTER) )
      & has_conj2(R_0014_0011__FOR,R_0014_0006__AND)
      & r_0014_0006__and(R_0014_0006__AND)
      & has_conj2(R_0014_0006__AND,R_0014_0007__LOOKED)
      & r_0014_0007__looked(R_0014_0007__LOOKED)
      & has_prd(R_0014_0007__LOOKED,R_0014_0009__SEVERE)
      & r_0014_0009__severe(R_0014_0009__SEVERE)
      & has_qual(R_0014_0009__SEVERE,R_0014_0008__VERY)
      & has_arg0(R_0014_0007__LOOKED,R_0014_0002__THE_R_0014_0004__MASTER)
      & r_0014_0002__the_r_0014_0004__Master(R_0014_0002__THE_R_0014_0004__MASTER)
      & has_attrib(R_0014_0002__THE_R_0014_0004__MASTER,R_0014_0003__MATHEMATICAL)
      & has_conj1(R_0014_0006__AND,R_0014_0005__FROWNED)
      & r_0014_0005__frowned(R_0014_0005__FROWNED)
      & has_arg0(R_0014_0005__FROWNED,R_0014_0002__THE_R_0014_0004__MASTER) ) ).