arc(r_0095_0002__There_r_0095_0003___apos_s, r_0095_0004__a_r_0095_0005__difference, arg0).
arc(r_0095_0002__There_r_0095_0003___apos_s, z_000_95_a_lob_n02_18, r_0095_0006__between_clr18).
arc(r_0095_0008__a, r_0095_0009__senior, attrib28).
arc(r_0095_0010__and, r_0095_0008__a, conj1).
arc(r_0095_0010__and, r_0095_0011__a_r_0095_0013__partner, conj2).
arc(r_0095_0011__a_r_0095_0013__partner, r_0095_0012__junior, attrib37).
arc(r_0095_0014__can, r_0095_0015__do, scope).
arc(r_0095_0015__do, r_0095_0010__and, arg0).
arc(r_0095_0015__do, z_000_95_a_lob_n02_18, arg1).
arc(r_0095_0018__was, r_0095_0002__There_r_0095_0003___apos_s, arg0).
arc(r_0095_0018__was, r_0095_0021__reply, prd).
arc(r_0095_0021__reply, r_0095_0019__her, gen).
arc(r_0095_0021__reply, r_0095_0020__quick, attrib59).

fof(formula,axiom,
    ? [R_95_14_CAN_DO,R_95_10_AND,R_95_8_A,R_95_9_SENIOR,R_95_11_A_PARTNER,R_95_12_JUNIOR,R_95_18_WAS,R_95_2_THERE_APOS_S,R_95_4_A_DIFFERENCE,Z_95_A_LOB_N02_18,R_95_21_REPLY,R_95_20_QUICK,R_95_19_HER] :
      ( senior(R_95_9_SENIOR)
      & junior(R_95_12_JUNIOR)
      & a_difference(R_95_4_A_DIFFERENCE)
      & quick(R_95_20_QUICK)
      & her(R_95_19_HER)
      & can_do(R_95_14_CAN_DO,R_95_10_AND,Z_95_A_LOB_N02_18)
      & and(R_95_10_AND)
      & conj1(R_95_10_AND,R_95_8_A)
      & a(R_95_8_A)
      & attrib28(R_95_8_A,R_95_9_SENIOR)
      & conj2(R_95_10_AND,R_95_11_A_PARTNER)
      & a_partner(R_95_11_A_PARTNER)
      & attrib37(R_95_11_A_PARTNER,R_95_12_JUNIOR)
      & was(R_95_18_WAS,R_95_2_THERE_APOS_S,R_95_21_REPLY)
      & there_apos_s(R_95_2_THERE_APOS_S,R_95_4_A_DIFFERENCE)
      & between_clr18(R_95_2_THERE_APOS_S,Z_95_A_LOB_N02_18)
      & reply(R_95_21_REPLY)
      & attrib59(R_95_21_REPLY,R_95_20_QUICK)
      & gen(R_95_21_REPLY,R_95_19_HER) ) ).

( (IP-MAT (PULQ <lquo>)
          (CP-THT-SBJ (IP-SUB (EX There;{there})
                              (BEP;_ex_Vpr_ <apos>s;{be})
                              (NP-ESBJ (D a;{a})
                                       (N difference;{difference}))
                              (PP-CLR (P-ROLE between;{between})
                                      (NP (IP-REL (NP-133 (RPRO what;{what}))
                                                  (NP-SBJ;{PARTNERS} (NLYR (NLYR (D a;{a})
                                                                                 (ADJP (ADJ senior;{senior})))
                                                                           (CONJP (CONJ and;{and})
                                                                                  (NLYR (D a;{a})
                                                                                        (ADJP (ADJ junior;{junior}))
                                                                                        (N partner;{partner})))))
                                                  (MD;_cat_Vi_ can;{can})
                                                  (IP-INF-CAT (NP-OB1 *ICH*-133)
                                                              (DO;_Tn_ do;{do})))))))
          (PUNC ,)
          (PURQ <rquo>)
          (BED;_Ln_ was;{be})
          (NP-PRD (NP-GEN;{BERYL} (PRO;_genm_ her;{her}))
                  (ADJP (ADJ quick;{quick}))
                  (N reply;{reply}))
          (PUNC .))
  (ID 95_a_lob_n02))