( (IP-MAT (NP-SBJ (PRO We;{we}))
          (BED;_cat_Vg_ were;{be})
          (IP-PPL-CAT (ADVP-NIM (ADV absolutely;{absolutely}))
                      (VAG;_cat_Vt_ going;{go})
                      (IP-INF-CAT (TO to;{to})
                                  (HV;_cat_Vt_ have;{have})
                                  (IP-INF-CAT (TO to;{to})
                                              (VB;__ launch;{launch})
                                              (NP-OB1 (PRO it;{it}))
                                              (PP-NIM (P-ROLE with;{with})
                                                      (NP (NLYR (NLYR (D the;{the})
                                                                      (ADJP (ADJS smallest;{small}))
                                                                      (N amount;{amount})
                                                                      (PP (P-ROLE of;{of})
                                                                          (NP (N RAM;{ram}))))
                                                                (CONJP (CONJ and;{and})
                                                                       (NLYR (Q no;{no})
                                                                             (ADJP (ADJ hard;{hard}))
                                                                             (N drive;{drive})))))))))
          (PUNC .))
  (ID 76_a_paulfellows))

arc(r_0076_0002__were,r_0076_0004__going,scope).
arc(r_0076_0004__going,r_0076_0003__absolutely,nim).
arc(r_0076_0004__going,r_0076_0006__have,scope).
arc(r_0076_0006__have,r_0076_0008__launch,scope).
arc(r_0076_0008__launch,r_0076_0001__We,arg0).
arc(r_0076_0008__launch,r_0076_0009__it,arg1).
arc(r_0076_0008__launch,r_0076_0016__and,r_0076_0010__with__nim).
arc(r_0076_0011__the_r_0076_0013__amount,r_0076_0012__smallest,attrib).
arc(r_0076_0011__the_r_0076_0013__amount,r_0076_0015__RAM,r_0076_0014__of).
arc(r_0076_0016__and,r_0076_0011__the_r_0076_0013__amount,conj1).
arc(r_0076_0016__and,r_0076_0019__drive,conj2).
arc(r_0076_0017__no__quant,r_0076_0016__and,scope).
arc(r_0076_0017__no__quant,r_0076_0019__drive,restriction).
arc(r_0076_0019__drive,r_0076_0018__hard,attrib).

fof(formula,axiom,
    ! [R_0076_0019__DRIVE,R_0076_0018__HARD] :
      ( ( r_0076_0018__hard(R_0076_0018__HARD)
        & r_0076_0019__drive(R_0076_0019__DRIVE)
        & has_attrib(R_0076_0019__DRIVE,R_0076_0018__HARD) )
     => ? [R_0076_0003__ABSOLUTELY,R_0076_0001__WE,R_0076_0009__IT,R_0076_0012__SMALLEST,R_0076_0015__RAM,R_0076_0011__THE_R_0076_0013__AMOUNT,R_0076_0016__AND,R_0076_0002__WERE_R_0076_0004__GOING_R_0076_0006__HAVE_R_0076_0008__LAUNCH] :
          ( r_0076_0001__We(R_0076_0001__WE)
          & r_0076_0003__absolutely(R_0076_0003__ABSOLUTELY)
          & r_0076_0009__it(R_0076_0009__IT)
          & r_0076_0012__smallest(R_0076_0012__SMALLEST)
          & r_0076_0015__RAM(R_0076_0015__RAM)
          & r_0076_0002__were_r_0076_0004__going_r_0076_0006__have_r_0076_0008__launch(R_0076_0002__WERE_R_0076_0004__GOING_R_0076_0006__HAVE_R_0076_0008__LAUNCH)
          & has_r_0076_0010__with__nim(R_0076_0002__WERE_R_0076_0004__GOING_R_0076_0006__HAVE_R_0076_0008__LAUNCH,R_0076_0016__AND)
          & r_0076_0016__and(R_0076_0016__AND)
          & has_conj2(R_0076_0016__AND,R_0076_0019__DRIVE)
          & has_conj1(R_0076_0016__AND,R_0076_0011__THE_R_0076_0013__AMOUNT)
          & r_0076_0011__the_r_0076_0013__amount(R_0076_0011__THE_R_0076_0013__AMOUNT)
          & has_r_0076_0014__of(R_0076_0011__THE_R_0076_0013__AMOUNT,R_0076_0015__RAM)
          & has_attrib(R_0076_0011__THE_R_0076_0013__AMOUNT,R_0076_0012__SMALLEST)
          & has_arg1(R_0076_0002__WERE_R_0076_0004__GOING_R_0076_0006__HAVE_R_0076_0008__LAUNCH,R_0076_0009__IT)
          & has_arg0(R_0076_0002__WERE_R_0076_0004__GOING_R_0076_0006__HAVE_R_0076_0008__LAUNCH,R_0076_0001__WE)
          & has_nim(R_0076_0002__WERE_R_0076_0004__GOING_R_0076_0006__HAVE_R_0076_0008__LAUNCH,R_0076_0003__ABSOLUTELY) ) ) ).