( (IP-MAT (ILYR (ILYR (NP-SBJ;{BERYL} (PRO She;{she}))
                      (HVD;_cat_Ve_ had;{have})
                      (IP-PPL-CAT (VVN;_Tt_ expected;{expect})
                                  (IP-INF-OB1 (TO to;{to})
                                              (BE;_cat_VePASS_ be;{be})
                                              (IP-PPL-CAT (NP-LGS *)
                                                          (VVN;_Tn_ met;{meet})
                                                          (PP-NIM (P-ROLE with;{with})
                                                                  (NP (ADJP (ADJ violent;{violent}))
                                                                      (NS reproaches;{reproach})))))))
                (PUNC <mdash>)
                (CONJP (CONJ and;{and})
                       (ILYR (ADVP-NIM (ADV here;{here}))
                             (NP-SBJ;{PIERS} (PRO he;{he}))
                             (BED;_cat_Vg_ was;{be})
                             (IP-PPL-CAT (ILYR (ILYR (ADJP-PRD (ADJ bland;{bland})))
                                               (CONJP (CONJ and;{and})
                                                      (ILYR (VAG;_I_ smiling;{smile}))))))))
          (PUNC .))
  (ID 6_a_lob_n02))

arc(r_0006_0002__had,r_0006_0003__expected,scope).
arc(r_0006_0003__expected,r_0006_0001__She,arg0).
arc(r_0006_0003__expected,r_0006_0005__be,arg1).
arc(r_0006_0005__be,r_0006_0006__met,scope).
arc(r_0006_0006__met,r_0006_0001__She,arg1).
arc(r_0006_0006__met,r_0006_0009__reproaches,r_0006_0007__with__nim).
arc(r_0006_0006__met,z_0006_5006___star_,arg0).
arc(r_0006_0009__reproaches,r_0006_0008__violent,attrib).
arc(r_0006_0011__and,r_0006_0002__had,conj1).
arc(r_0006_0011__and,r_0006_0014__was,conj2).
arc(r_0006_0014__was,r_0006_0012__here,nim).
arc(r_0006_0014__was,r_0006_0016__and,scope).
arc(r_0006_0016__and,r_0006_0017__smiling,conj2).
arc(r_0006_0016__and,z_0006_5014,conj1).
arc(r_0006_0017__smiling,r_0006_0013__he,arg0).
arc(z_0006_5014,r_0006_0013__he,arg0).
arc(z_0006_5014,r_0006_0015__bland,prd).

fof(formula,axiom,
    ? [R_0006_0001__SHE,R_0006_0008__VIOLENT,R_0006_0009__REPROACHES,Z_0006_5006___STAR_,R_0006_0005__BE_R_0006_0006__MET,R_0006_0002__HAD_R_0006_0003__EXPECTED,R_0006_0012__HERE,R_0006_0013__HE,R_0006_0017__SMILING,R_0006_0015__BLAND,Z_0006_5014,R_0006_0016__AND,R_0006_0014__WAS,R_0006_0011__AND] :
      ( r_0006_0001__She(R_0006_0001__SHE)
      & r_0006_0008__violent(R_0006_0008__VIOLENT)
      & r_0006_0012__here(R_0006_0012__HERE)
      & r_0006_0013__he(R_0006_0013__HE)
      & r_0006_0015__bland(R_0006_0015__BLAND)
      & z_0006_5006___star_(Z_0006_5006___STAR_)
      & r_0006_0011__and(R_0006_0011__AND)
      & has_conj2(R_0006_0011__AND,R_0006_0014__WAS)
      & r_0006_0014__was(R_0006_0014__WAS)
      & has_keep_scope(R_0006_0014__WAS,R_0006_0016__AND)
      & r_0006_0016__and(R_0006_0016__AND)
      & has_conj1(R_0006_0016__AND,Z_0006_5014)
      & z_0006_5014(Z_0006_5014)
      & has_prd(Z_0006_5014,R_0006_0015__BLAND)
      & has_arg0(Z_0006_5014,R_0006_0013__HE)
      & has_conj2(R_0006_0016__AND,R_0006_0017__SMILING)
      & r_0006_0017__smiling(R_0006_0017__SMILING)
      & has_arg0(R_0006_0017__SMILING,R_0006_0013__HE)
      & has_nim(R_0006_0014__WAS,R_0006_0012__HERE)
      & has_conj1(R_0006_0011__AND,R_0006_0002__HAD_R_0006_0003__EXPECTED)
      & r_0006_0002__had_r_0006_0003__expected(R_0006_0002__HAD_R_0006_0003__EXPECTED)
      & has_arg1(R_0006_0002__HAD_R_0006_0003__EXPECTED,R_0006_0005__BE_R_0006_0006__MET)
      & r_0006_0005__be_r_0006_0006__met(R_0006_0005__BE_R_0006_0006__MET)
      & has_arg0(R_0006_0005__BE_R_0006_0006__MET,Z_0006_5006___STAR_)
      & has_r_0006_0007__with__nim(R_0006_0005__BE_R_0006_0006__MET,R_0006_0009__REPROACHES)
      & r_0006_0009__reproaches(R_0006_0009__REPROACHES)
      & has_attrib(R_0006_0009__REPROACHES,R_0006_0008__VIOLENT)
      & has_arg1(R_0006_0005__BE_R_0006_0006__MET,R_0006_0001__SHE)
      & has_arg0(R_0006_0002__HAD_R_0006_0003__EXPECTED,R_0006_0001__SHE) ) ).