arc(r_0057_0003__made, r_0057_0001__Germaine_r_0057_0002__Greer, arg0).
arc(r_0057_0003__made, r_0057_0006__lip, arg1).
arc(r_0057_0003__made, r_0057_0007__curl, prd).
arc(r_0057_0006__lip, r_0057_0004__her, gen).
arc(r_0057_0006__lip, r_0057_0005__top, attrib15).
arc(r_0057_0007__curl, x_000_57_a_loosechange_20, arg0).
arc(r_0057_0008__and, r_0057_0003__made, conj1).
arc(r_0057_0008__and, r_0057_0014__laughed_r_0057_0015__out, conj2).
arc(r_0057_0014__laughed_r_0057_0015__out, r_0057_0010__A_dot__S_dot__r_0057_0011__Byatt, r_0057_0009__as_for_nim30).
arc(r_0057_0014__laughed_r_0057_0015__out, r_0057_0013__she, arg0).
arc(r_0057_0014__laughed_r_0057_0015__out, r_0057_0016__loud, nim44).

fof(formula,axiom,
    ? [R_0057_0001__GERMAINE_R_0057_0002__GREER,R_0057_0004__HER,R_0057_0005__TOP,R_0057_0006__LIP,X_000_57_A_LOOSECHANGE_20,R_0057_0007__CURL,R_0057_0003__MADE,R_0057_0010__A_DOT__S_DOT__R_0057_0011__BYATT,R_0057_0013__SHE,R_0057_0016__LOUD,R_0057_0014__LAUGHED_R_0057_0015__OUT,R_0057_0008__AND] :
      ( r_0057_0001__Germaine_r_0057_0002__Greer(R_0057_0001__GERMAINE_R_0057_0002__GREER)
      & r_0057_0004__her(R_0057_0004__HER)
      & r_0057_0005__top(R_0057_0005__TOP)
      & r_0057_0010__A_dot__S_dot__r_0057_0011__Byatt(R_0057_0010__A_DOT__S_DOT__R_0057_0011__BYATT)
      & r_0057_0013__she(R_0057_0013__SHE)
      & r_0057_0016__loud(R_0057_0016__LOUD)
      & x_000_57_a_loosechange_20(X_000_57_A_LOOSECHANGE_20)
      & r_0057_0008__and(R_0057_0008__AND)
      & has_conj2(R_0057_0008__AND,R_0057_0014__LAUGHED_R_0057_0015__OUT)
      & r_0057_0014__laughed_r_0057_0015__out(R_0057_0014__LAUGHED_R_0057_0015__OUT)
      & has_nim44(R_0057_0014__LAUGHED_R_0057_0015__OUT,R_0057_0016__LOUD)
      & has_arg0(R_0057_0014__LAUGHED_R_0057_0015__OUT,R_0057_0013__SHE)
      & has_r_0057_0009__as_for_nim30(R_0057_0014__LAUGHED_R_0057_0015__OUT,R_0057_0010__A_DOT__S_DOT__R_0057_0011__BYATT)
      & has_conj1(R_0057_0008__AND,R_0057_0003__MADE)
      & r_0057_0003__made(R_0057_0003__MADE)
      & has_prd(R_0057_0003__MADE,R_0057_0007__CURL)
      & r_0057_0007__curl(R_0057_0007__CURL)
      & has_arg0(R_0057_0007__CURL,X_000_57_A_LOOSECHANGE_20)
      & has_arg1(R_0057_0003__MADE,R_0057_0006__LIP)
      & r_0057_0006__lip(R_0057_0006__LIP)
      & has_attrib15(R_0057_0006__LIP,R_0057_0005__TOP)
      & has_gen(R_0057_0006__LIP,R_0057_0004__HER)
      & has_arg0(R_0057_0003__MADE,R_0057_0001__GERMAINE_R_0057_0002__GREER) ) ).

( (IP-MAT (ILYR (ILYR (NP-SBJ (NPR Germaine;{Germaine})
                              (NPR Greer;{Greer}))
                      (VBD;_Cn.i_ made;{make})
                      (NP-OB1 (NP-GEN;{LAYLOR} (PRO;_genm_ her;{her}))
                              (ADJP (ADJ top;{top}))
                              (N lip;{lip}))
                      (IP-INF-PRD (VB;_I_ curl;{curl})))
                (CONJP (CONJ and;{and})
                       (ILYR (PP-NIM (P-ROLE as_for;{as_for})
                                     (NP (NPR A<dot>_S<dot>)
                                         (NPR Byatt;{Byatt})))
                             (PUNC ,)
                             (NP-SBJ;{LAYLOR} (PRO she;{she}))
                             (VBD;_phr_Vp_ laughed;{laugh[out]})
                             (RP out;{out})
                             (ADVP-NIM (ADV loud;{loud}))
                             (PUNC ,)
                             (PULQ <lquo>)
                             (PRN (CP-QUE (IP-SUB (NP-SBJ (D;_nphd_ This;{this}))
                                                  (BEP;_Ln_ is;{be})
                                                  (NP-PRD (IP-REL (NP-SBJ (N child;{child}))
                                                                  (VB;_Tn_ make;{make})
                                                                  (NP-OB1 (IP-PPL (NP-PRD *T*))
                                                                          (D;_nphd_ this;{this})))))
                                          (PUNC ?)))
                             (PURQ <rquo>)))))
  (ID 57_a_loosechange))