14_a_wilde_1_1888
and the Mathematical Master frowned and looked very severe, for he did not approve of children dreaming.
arc(r_0014_0002__the_r_0014_0004__Master, r_0014_0003__Mathematical, attrib7).
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, qual23).
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_clr46).
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_14_11_FOR,R_14_6_AND,R_14_5_FROWNED,R_14_7_LOOKED,R_14_2_THE_MASTER,R_14_3_MATHEMATICAL,R_14_9_SEVERE,R_14_8_VERY] :
( mathematical(R_14_3_MATHEMATICAL)
& very(R_14_8_VERY)
& for(R_14_11_FOR)
& conj1(R_14_11_FOR,R_14_14_NOT)
& ~ ? [R_14_13_DID_APPROVE,R_14_18_DREAMING,R_14_17_CHILDREN] :
( children(R_14_17_CHILDREN)
& did_approve(R_14_13_DID_APPROVE,R_14_2_THE_MASTER)
& of_clr46(R_14_13_DID_APPROVE,R_14_18_DREAMING)
& dreaming(R_14_18_DREAMING,R_14_17_CHILDREN) )
& conj2(R_14_11_FOR,R_14_6_AND)
& and(R_14_6_AND)
& conj1(R_14_6_AND,R_14_5_FROWNED)
& frowned(R_14_5_FROWNED,R_14_2_THE_MASTER)
& the_Master(R_14_2_THE_MASTER)
& attrib7(R_14_2_THE_MASTER,R_14_3_MATHEMATICAL)
& conj2(R_14_6_AND,R_14_7_LOOKED)
& looked(R_14_7_LOOKED,R_14_2_THE_MASTER,R_14_9_SEVERE)
& severe(R_14_9_SEVERE)
& qual23(R_14_9_SEVERE,R_14_8_VERY) ) ).
( (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))