( (IP-MAT (PULQ <lquo>)
          (NP-SBJ;{ALASTAIR+GEOFFREY} (PRO We;{we}))
          (MD;_cat_Vi_ <apos>ll;{will})
          (IP-INF-CAT (VB;__ run;{run})
                      (RP in;{in})
                      (PP-NIM (P-ROLE on;{on})
                              (NP (N minimum;{minimum})
                                  (N engine;{engine})
                                  (N power;{power}))))
          (PUNC .)
          (PURQ <rquo>))
  (ID 41_a_lob_n01))

arc(r_0041_0003___apos_ll,r_0041_0004__run_r_0041_0005__in,scope).
arc(r_0041_0004__run_r_0041_0005__in,r_0041_0002__We,arg0).
arc(r_0041_0004__run_r_0041_0005__in,r_0041_0007__minimum_r_0041_0008__engine_r_0041_0009__power,r_0041_0006__on__nim).

fof(formula,axiom,
    ? [R_0041_0002__WE,R_0041_0007__MINIMUM_R_0041_0008__ENGINE_R_0041_0009__POWER,R_0041_0003___APOS_LL_R_0041_0004__RUN_R_0041_0005__IN] :
      ( r_0041_0002__We(R_0041_0002__WE)
      & r_0041_0007__minimum_r_0041_0008__engine_r_0041_0009__power(R_0041_0007__MINIMUM_R_0041_0008__ENGINE_R_0041_0009__POWER)
      & r_0041_0003___apos_ll_r_0041_0004__run_r_0041_0005__in(R_0041_0003___APOS_LL_R_0041_0004__RUN_R_0041_0005__IN)
      & has_r_0041_0006__on__nim(R_0041_0003___APOS_LL_R_0041_0004__RUN_R_0041_0005__IN,R_0041_0007__MINIMUM_R_0041_0008__ENGINE_R_0041_0009__POWER)
      & has_arg0(R_0041_0003___APOS_LL_R_0041_0004__RUN_R_0041_0005__IN,R_0041_0002__WE) ) ).