( (IP-MAT (NP-SBJ (NLYR (NLYR (D The;{the})
                              (N book;{book}))
                        (CONJP (CONJ or;{or})
                               (NLYR (NUM one;{one})
                                     (PP (P-ROLE of;{of})
                                         (NP (D the;{the})
                                             (ADJP (ADJ short;{short}))
                                             (NS stories;{story}))))))
                  (IP-REL (NP-SBJ (PRO you;{you}))
                          (HVP;_cat_Ve_ have;{have})
                          (IP-PPL-CAT (NP-OB1 *T*)
                                      (VVN;_Tn_ studied;{study}))))
          (BEP;_cat_Vg_ is;{be})
          (IP-PPL-CAT (VAG;_cat_Vt_ going;{go})
                      (IP-INF-CAT (TO to;{to})
                                  (BE;_cat_VePASS_ be;{be})
                                  (IP-PPL-CAT (NP-LGS *)
                                              (VVN;_Tn_ read;{read})
                                              (PP-NIM (P-ROLE on;{on})
                                                      (NP (D the;{the})
                                                          (N radio;{radio}))))))
          (PUNC .))
  (ID 28_a_fce_0102_2000_06))

arc(r_0028_0003__or,r_0028_0001__The_r_0028_0002__book,conj1).
arc(r_0028_0003__or,r_0028_0004__one,conj2).
arc(r_0028_0004__one,r_0028_0006__the_r_0028_0008__stories,r_0028_0005__of).
arc(r_0028_0006__the_r_0028_0008__stories,r_0028_0007__short,attrib).
arc(r_0028_0010__have,r_0028_0011__studied,scope).
arc(r_0028_0011__studied,r_0028_0003__or,inv_arg1).
arc(r_0028_0011__studied,r_0028_0009__you,arg0).
arc(r_0028_0012__is,r_0028_0013__going,scope).
arc(r_0028_0013__going,r_0028_0015__be,scope).
arc(r_0028_0015__be,r_0028_0016__read,scope).
arc(r_0028_0016__read,r_0028_0003__or,arg1).
arc(r_0028_0016__read,r_0028_0018__the_r_0028_0019__radio,r_0028_0017__on__nim).
arc(r_0028_0016__read,z_0028_5013___star_,arg0).

fof(formula,axiom,
    ? [R_0028_0001__THE_R_0028_0002__BOOK,R_0028_0007__SHORT,R_0028_0006__THE_R_0028_0008__STORIES,R_0028_0004__ONE,R_0028_0009__YOU,R_0028_0010__HAVE_R_0028_0011__STUDIED,R_0028_0003__OR,R_0028_0018__THE_R_0028_0019__RADIO,Z_0028_5013___STAR_,R_0028_0012__IS_R_0028_0013__GOING_R_0028_0015__BE_R_0028_0016__READ] :
      ( r_0028_0001__The_r_0028_0002__book(R_0028_0001__THE_R_0028_0002__BOOK)
      & r_0028_0007__short(R_0028_0007__SHORT)
      & r_0028_0009__you(R_0028_0009__YOU)
      & r_0028_0018__the_r_0028_0019__radio(R_0028_0018__THE_R_0028_0019__RADIO)
      & z_0028_5013___star_(Z_0028_5013___STAR_)
      & r_0028_0012__is_r_0028_0013__going_r_0028_0015__be_r_0028_0016__read(R_0028_0012__IS_R_0028_0013__GOING_R_0028_0015__BE_R_0028_0016__READ)
      & has_arg0(R_0028_0012__IS_R_0028_0013__GOING_R_0028_0015__BE_R_0028_0016__READ,Z_0028_5013___STAR_)
      & has_r_0028_0017__on__nim(R_0028_0012__IS_R_0028_0013__GOING_R_0028_0015__BE_R_0028_0016__READ,R_0028_0018__THE_R_0028_0019__RADIO)
      & has_arg1(R_0028_0012__IS_R_0028_0013__GOING_R_0028_0015__BE_R_0028_0016__READ,R_0028_0003__OR)
      & r_0028_0003__or(R_0028_0003__OR)
      & has_inv_arg1(R_0028_0003__OR,R_0028_0010__HAVE_R_0028_0011__STUDIED)
      & r_0028_0010__have_r_0028_0011__studied(R_0028_0010__HAVE_R_0028_0011__STUDIED)
      & has_arg0(R_0028_0010__HAVE_R_0028_0011__STUDIED,R_0028_0009__YOU)
      & has_conj2(R_0028_0003__OR,R_0028_0004__ONE)
      & r_0028_0004__one(R_0028_0004__ONE)
      & has_r_0028_0005__of(R_0028_0004__ONE,R_0028_0006__THE_R_0028_0008__STORIES)
      & r_0028_0006__the_r_0028_0008__stories(R_0028_0006__THE_R_0028_0008__STORIES)
      & has_attrib(R_0028_0006__THE_R_0028_0008__STORIES,R_0028_0007__SHORT)
      & has_conj1(R_0028_0003__OR,R_0028_0001__THE_R_0028_0002__BOOK) ) ).