arc(r_0026_0001__An_r_0026_0003__spaceship, r_0026_0002__extra, attrib5).
arc(r_0026_0004__is, r_0026_0007__every_quant, scope).
arc(r_0026_0005__awarded, r_0026_0001__An_r_0026_0003__spaceship, arg1).
arc(r_0026_0005__awarded, r_0026_0008__10_comma_000_r_0026_0009__points, r_0026_0006__for_clr20).
arc(r_0026_0005__awarded, z_000_26_a_thrust_13, arg0).
arc(r_0026_0007__every_quant, r_0026_0005__awarded, scope).
arc(r_0026_0007__every_quant, r_0026_0008__10_comma_000_r_0026_0009__points, restriction).
arc(r_0026_0010__scored, r_0026_0008__10_comma_000_r_0026_0009__points, arg1).
arc(r_0026_0010__scored, z_000_26_a_thrust_28, arg0).

fof(formula,axiom,
    ? [R_0026_0004__IS] :
      ( r_0026_0004__is(R_0026_0004__IS)
      & ! [R_0026_0008__10_COMMA_000_R_0026_0009__POINTS,Z_000_26_A_THRUST_28,R_0026_0010__SCORED] :
          ( ( r_0026_0008__10_comma_000_r_0026_0009__points(R_0026_0008__10_COMMA_000_R_0026_0009__POINTS)
            & z_000_26_a_thrust_28(Z_000_26_A_THRUST_28)
            & r_0026_0010__scored(R_0026_0010__SCORED)
            & has_arg0(R_0026_0010__SCORED,Z_000_26_A_THRUST_28)
            & has_arg1(R_0026_0010__SCORED,R_0026_0008__10_COMMA_000_R_0026_0009__POINTS) )
         => ? [R_0026_0002__EXTRA,R_0026_0001__AN_R_0026_0003__SPACESHIP,Z_000_26_A_THRUST_13,R_0026_0005__AWARDED] :
              ( r_0026_0002__extra(R_0026_0002__EXTRA)
              & z_000_26_a_thrust_13(Z_000_26_A_THRUST_13)
              & r_0026_0005__awarded(R_0026_0005__AWARDED)
              & has_arg0(R_0026_0005__AWARDED,Z_000_26_A_THRUST_13)
              & has_r_0026_0006__for_clr20(R_0026_0005__AWARDED,R_0026_0008__10_COMMA_000_R_0026_0009__POINTS)
              & has_arg1(R_0026_0005__AWARDED,R_0026_0001__AN_R_0026_0003__SPACESHIP)
              & r_0026_0001__An_r_0026_0003__spaceship(R_0026_0001__AN_R_0026_0003__SPACESHIP)
              & has_attrib5(R_0026_0001__AN_R_0026_0003__SPACESHIP,R_0026_0002__EXTRA) ) ) ) ).

( (IP-MAT (NP-SBJ (D An;{an})
                  (ADJP (ADJ extra;{extra}))
                  (N spaceship;{spaceship}))
          (BEP;_cat_VePASS_ is;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;_Tn.pr_ awarded;{award[for]})
                      (PP-CLR (P-ROLE for;{for})
                              (NP (Q every;{every})
                                  (NUM 10,000)
                                  (NS points;{point})
                                  (IP-PPL (NP-LGS *)
                                          (VVN;_Tn_ scored;{score})))))
          (PUNC .))
  (ID 26_a_thrust))