( (IP-MAT (ADVP-NIM (ADV Now;{now}))
          (NP-SBJ (NP-GEN (PRO;_genm_ your;{your}))
                  (N English;{english})
                  (N teacher;{teacher}))
          (HVP;_cat_Ve_ has;{have})
          (IP-PPL-CAT (VVN;_Dn.t_ asked;{ask})
                      (NP-OB2 (PRO you;{you}))
                      (IP-INF-OB1 (TO to;{to})
                                  (VB;_Tn_ write;{write})
                                  (NP-OB1 (D a;{a})
                                          (N composition;{composition}))
                                  (PUNC ,)
                                  (PP-SCON (IP-PPL2 (VAG;_Tn_ giving;{give})
                                                    (NP-OB1 (NP-GEN (PRO;_genm_ your;{your}))
                                                            (NS opinions;{opinion})
                                                            (PP (P-ROLE on;{on})
                                                                (NP (D the;{the})
                                                                    (ADJP (ADJ following;{following}))
                                                                    (N statement;{statement})
                                                                    (PUNC :)
                                                                    (PRN (IP-MAT (NP-SBJ (N Shopping;{shopping}))
                                                                                 (BEP;_La_ is;{be})
                                                                                 (NEG not;{not})
                                                                                 (ADJP-PRD (ADVP (ADV always;{always}))
                                                                                           (ADJ enjoyable;{enjoyable})))))))))))
          (PUNC .))
  (ID 24_a_fce_0100_2000_06))

arc(r_0024_0003__English_r_0024_0004__teacher,r_0024_0002__your,gen).
arc(r_0024_0005__has,r_0024_0001__Now,nim).
arc(r_0024_0005__has,r_0024_0006__asked,scope).
arc(r_0024_0006__asked,r_0024_0002__your,arg2).
arc(r_0024_0006__asked,r_0024_0003__English_r_0024_0004__teacher,arg0).
arc(r_0024_0006__asked,z_0024_5007,arg1).
arc(r_0024_0009__write,r_0024_0002__your,arg0).
arc(r_0024_0009__write,r_0024_0010__a_r_0024_0011__composition,arg1).
arc(r_0024_0013__giving,r_0024_0002__your,arg0).
arc(r_0024_0013__giving,r_0024_0015__opinions,arg1).
arc(r_0024_0015__opinions,r_0024_0002__your,gen).
arc(r_0024_0015__opinions,r_0024_0017__the_r_0024_0019__statement,r_0024_0016__on).
arc(r_0024_0017__the_r_0024_0019__statement,r_0024_0018__following,attrib).
arc(r_0024_0017__the_r_0024_0019__statement,r_0024_0023__not,prn).
arc(r_0024_0022__is,r_0024_0021__Shopping,arg0).
arc(r_0024_0022__is,r_0024_0025__enjoyable,prd).
arc(r_0024_0023__not,r_0024_0022__is,keep_scope).
arc(r_0024_0025__enjoyable,r_0024_0024__always,qual).
arc(z_0024_5007,r_0024_0009__write,scope).
arc(z_0024_5007,r_0024_0013__giving,restriction).

fof(formula,axiom,
    ? [R_0024_0001__NOW,R_0024_0002__YOUR,R_0024_0003__ENGLISH_R_0024_0004__TEACHER,R_0024_0010__A_R_0024_0011__COMPOSITION,R_0024_0009__WRITE,R_0024_0018__FOLLOWING,R_0024_0017__THE_R_0024_0019__STATEMENT,R_0024_0015__OPINIONS,R_0024_0013__GIVING,Z_0024_5007,R_0024_0005__HAS_R_0024_0006__ASKED] :
      ( r_0024_0001__Now(R_0024_0001__NOW)
      & r_0024_0002__your(R_0024_0002__YOUR)
      & r_0024_0010__a_r_0024_0011__composition(R_0024_0010__A_R_0024_0011__COMPOSITION)
      & r_0024_0018__following(R_0024_0018__FOLLOWING)
      & r_0024_0005__has_r_0024_0006__asked(R_0024_0005__HAS_R_0024_0006__ASKED)
      & has_arg1(R_0024_0005__HAS_R_0024_0006__ASKED,Z_0024_5007)
      & z_0024_5007(Z_0024_5007)
      & has_conj1(Z_0024_5007,R_0024_0013__GIVING)
      & r_0024_0013__giving(R_0024_0013__GIVING)
      & has_arg1(R_0024_0013__GIVING,R_0024_0015__OPINIONS)
      & r_0024_0015__opinions(R_0024_0015__OPINIONS)
      & has_r_0024_0016__on(R_0024_0015__OPINIONS,R_0024_0017__THE_R_0024_0019__STATEMENT)
      & r_0024_0017__the_r_0024_0019__statement(R_0024_0017__THE_R_0024_0019__STATEMENT)
      & has_prn(R_0024_0017__THE_R_0024_0019__STATEMENT,R_0024_0023__NOT)
      & ~ ? [R_0024_0021__SHOPPING,R_0024_0024__ALWAYS,R_0024_0025__ENJOYABLE,R_0024_0022__IS] :
            ( r_0024_0021__Shopping(R_0024_0021__SHOPPING)
            & r_0024_0024__always(R_0024_0024__ALWAYS)
            & r_0024_0022__is(R_0024_0022__IS)
            & has_prd(R_0024_0022__IS,R_0024_0025__ENJOYABLE)
            & r_0024_0025__enjoyable(R_0024_0025__ENJOYABLE)
            & has_qual(R_0024_0025__ENJOYABLE,R_0024_0024__ALWAYS)
            & has_arg0(R_0024_0022__IS,R_0024_0021__SHOPPING) )
      & has_attrib(R_0024_0017__THE_R_0024_0019__STATEMENT,R_0024_0018__FOLLOWING)
      & has_gen(R_0024_0015__OPINIONS,R_0024_0002__YOUR)
      & has_arg0(R_0024_0013__GIVING,R_0024_0002__YOUR)
      & has_conj2(Z_0024_5007,R_0024_0009__WRITE)
      & r_0024_0009__write(R_0024_0009__WRITE)
      & has_arg1(R_0024_0009__WRITE,R_0024_0010__A_R_0024_0011__COMPOSITION)
      & has_arg0(R_0024_0009__WRITE,R_0024_0002__YOUR)
      & has_arg0(R_0024_0005__HAS_R_0024_0006__ASKED,R_0024_0003__ENGLISH_R_0024_0004__TEACHER)
      & r_0024_0003__English_r_0024_0004__teacher(R_0024_0003__ENGLISH_R_0024_0004__TEACHER)
      & has_gen(R_0024_0003__ENGLISH_R_0024_0004__TEACHER,R_0024_0002__YOUR)
      & has_arg2(R_0024_0005__HAS_R_0024_0006__ASKED,R_0024_0002__YOUR)
      & has_nim(R_0024_0005__HAS_R_0024_0006__ASKED,R_0024_0001__NOW) ) ).