( (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})
                                  (NLYR (NUM 10,000)
                                        (NS points;{point}))
                                  (IP-PPL (NP-LGS *)
                                          (VVN;_Tn_ scored;{score})))))
          (PUNC .))
  (ID 26_a_thrust))

arc(r_0026_0001__An_r_0026_0003__spaceship,r_0026_0002__extra,attrib).
arc(r_0026_0004__is,r_0026_0005__awarded_r_0026_0006__for,scope).
arc(r_0026_0005__awarded_r_0026_0006__for,r_0026_0001__An_r_0026_0003__spaceship,arg1).
arc(r_0026_0005__awarded_r_0026_0006__for,z_0026_5008,arg2).
arc(r_0026_0005__awarded_r_0026_0006__for,z_0026_5010___star_,arg0).
arc(r_0026_0007__every__quant,r_0026_0004__is,scope).
arc(r_0026_0007__every__quant,z_0026_5008,restriction).
arc(r_0026_0010__scored,z_0026_5006___star_,arg0).
arc(r_0026_0010__scored,z_0026_5008,inv_arg1).
arc(z_0026_5008,r_0026_0008__10_comma_000_r_0026_0009__points,nim).

fof(formula,axiom,
    ! [Z_0026_5008,Z_0026_5006___STAR_,R_0026_0010__SCORED,R_0026_0008__10_COMMA_000_R_0026_0009__POINTS] :
      ( ( r_0026_0008__10_comma_000_r_0026_0009__points(R_0026_0008__10_COMMA_000_R_0026_0009__POINTS)
        & z_0026_5006___star_(Z_0026_5006___STAR_)
        & z_0026_5008(Z_0026_5008)
        & has_nim(Z_0026_5008,R_0026_0008__10_COMMA_000_R_0026_0009__POINTS)
        & has_inv_arg1(Z_0026_5008,R_0026_0010__SCORED)
        & r_0026_0010__scored(R_0026_0010__SCORED)
        & has_arg0(R_0026_0010__SCORED,Z_0026_5006___STAR_) )
     => ? [R_0026_0002__EXTRA,R_0026_0001__AN_R_0026_0003__SPACESHIP,Z_0026_5010___STAR_,R_0026_0004__IS_R_0026_0005__AWARDED_R_0026_0006__FOR] :
          ( r_0026_0002__extra(R_0026_0002__EXTRA)
          & z_0026_5010___star_(Z_0026_5010___STAR_)
          & r_0026_0004__is_r_0026_0005__awarded_r_0026_0006__for(R_0026_0004__IS_R_0026_0005__AWARDED_R_0026_0006__FOR)
          & has_arg0(R_0026_0004__IS_R_0026_0005__AWARDED_R_0026_0006__FOR,Z_0026_5010___STAR_)
          & has_arg2(R_0026_0004__IS_R_0026_0005__AWARDED_R_0026_0006__FOR,Z_0026_5008)
          & has_arg1(R_0026_0004__IS_R_0026_0005__AWARDED_R_0026_0006__FOR,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_attrib(R_0026_0001__AN_R_0026_0003__SPACESHIP,R_0026_0002__EXTRA) ) ) ).