4_a_meteors
Your ship is equipped with as many laser bolts as you can fire and as a last resort, you can escape through hyperspace.
( (IP-MAT (ILYR (ILYR (NP-SBJ (NP-GEN (PRO;_genm_ Your;{your}))
(N ship;{ship}))
(BEP;_cat_VePASS_ is;{be})
(IP-PPL-CAT (NP-LGS *)
(VVN;_Tn.pr_ equipped;{equip})
(PP-CLR (P-ROLE with;{with})
(NP (ADJP (ADVP (ADV as;{as}))
(ADJ many;{many})
(PP *ICH*-132))
(N laser;{laser})
(NS bolts;{bolt})
(PP-EPD-132 (P-ROLE as;{as})
(NP (IP-REL (NP-SBJ (PRO you;{you}))
(MD;_cat_Vi_ can;{can})
(IP-INF-CAT (NP-OB1 *T*)
(VB;_Tn_ fire;{fire})))))))))
(CONJP (CONJ and;{and})
(ILYR (PP-NIM (P-ROLE as;{as})
(NP (D a;{a})
(ADJP (ADJ last;{last}))
(N resort;{resort})))
(PUNC ,)
(NP-SBJ (PRO you;{you}))
(MD;_cat_Vi_ can;{can})
(IP-INF-CAT (VB;_Ipr_ escape;{escape[through]})
(PP-CLR (P-ROLE through;{through})
(NP (N hyperspace;{hyperspace})))))))
(PUNC .))
(ID 4_a_meteors))
arc(r_0004_0002__ship,r_0004_0001__Your,gen).
arc(r_0004_0003__is,r_0004_0004__equipped_r_0004_0005__with,scope).
arc(r_0004_0004__equipped_r_0004_0005__with,r_0004_0002__ship,arg1).
arc(r_0004_0004__equipped_r_0004_0005__with,r_0004_0008__laser_r_0004_0009__bolts,arg2).
arc(r_0004_0004__equipped_r_0004_0005__with,z_0004_5012___star_,arg0).
arc(r_0004_0007__many,r_0004_0006__as,qual).
arc(r_0004_0007__many,z_0004_5009,r_0004_0010__as).
arc(r_0004_0008__laser_r_0004_0009__bolts,r_0004_0007__many,attrib).
arc(r_0004_0012__can,r_0004_0013__fire,scope).
arc(r_0004_0013__fire,r_0004_0001__Your,arg0).
arc(r_0004_0013__fire,z_0004_5009,inv_arg1).
arc(r_0004_0014__and,r_0004_0003__is,conj1).
arc(r_0004_0014__and,r_0004_0021__can,conj2).
arc(r_0004_0016__a_r_0004_0018__resort,r_0004_0017__last,attrib).
arc(r_0004_0021__can,r_0004_0016__a_r_0004_0018__resort,r_0004_0015__as__nim).
arc(r_0004_0021__can,r_0004_0022__escape_r_0004_0023__through,scope).
arc(r_0004_0022__escape_r_0004_0023__through,r_0004_0001__Your,arg0).
arc(r_0004_0022__escape_r_0004_0023__through,r_0004_0024__hyperspace,arg1).
fof(formula,axiom,
? [R_0004_0001__YOUR,R_0004_0002__SHIP,R_0004_0006__AS,R_0004_0012__CAN_R_0004_0013__FIRE,Z_0004_5009,R_0004_0007__MANY,R_0004_0008__LASER_R_0004_0009__BOLTS,Z_0004_5012___STAR_,R_0004_0003__IS_R_0004_0004__EQUIPPED_R_0004_0005__WITH,R_0004_0017__LAST,R_0004_0016__A_R_0004_0018__RESORT,R_0004_0024__HYPERSPACE,R_0004_0021__CAN_R_0004_0022__ESCAPE_R_0004_0023__THROUGH,R_0004_0014__AND] :
( r_0004_0001__Your(R_0004_0001__YOUR)
& r_0004_0006__as(R_0004_0006__AS)
& r_0004_0017__last(R_0004_0017__LAST)
& r_0004_0024__hyperspace(R_0004_0024__HYPERSPACE)
& z_0004_5012___star_(Z_0004_5012___STAR_)
& r_0004_0014__and(R_0004_0014__AND)
& has_conj2(R_0004_0014__AND,R_0004_0021__CAN_R_0004_0022__ESCAPE_R_0004_0023__THROUGH)
& r_0004_0021__can_r_0004_0022__escape_r_0004_0023__through(R_0004_0021__CAN_R_0004_0022__ESCAPE_R_0004_0023__THROUGH)
& has_arg1(R_0004_0021__CAN_R_0004_0022__ESCAPE_R_0004_0023__THROUGH,R_0004_0024__HYPERSPACE)
& has_arg0(R_0004_0021__CAN_R_0004_0022__ESCAPE_R_0004_0023__THROUGH,R_0004_0001__YOUR)
& has_r_0004_0015__as__nim(R_0004_0021__CAN_R_0004_0022__ESCAPE_R_0004_0023__THROUGH,R_0004_0016__A_R_0004_0018__RESORT)
& r_0004_0016__a_r_0004_0018__resort(R_0004_0016__A_R_0004_0018__RESORT)
& has_attrib(R_0004_0016__A_R_0004_0018__RESORT,R_0004_0017__LAST)
& has_conj1(R_0004_0014__AND,R_0004_0003__IS_R_0004_0004__EQUIPPED_R_0004_0005__WITH)
& r_0004_0003__is_r_0004_0004__equipped_r_0004_0005__with(R_0004_0003__IS_R_0004_0004__EQUIPPED_R_0004_0005__WITH)
& has_arg0(R_0004_0003__IS_R_0004_0004__EQUIPPED_R_0004_0005__WITH,Z_0004_5012___STAR_)
& has_arg2(R_0004_0003__IS_R_0004_0004__EQUIPPED_R_0004_0005__WITH,R_0004_0008__LASER_R_0004_0009__BOLTS)
& r_0004_0008__laser_r_0004_0009__bolts(R_0004_0008__LASER_R_0004_0009__BOLTS)
& has_attrib(R_0004_0008__LASER_R_0004_0009__BOLTS,R_0004_0007__MANY)
& r_0004_0007__many(R_0004_0007__MANY)
& has_r_0004_0010__as(R_0004_0007__MANY,Z_0004_5009)
& z_0004_5009(Z_0004_5009)
& has_inv_arg1(Z_0004_5009,R_0004_0012__CAN_R_0004_0013__FIRE)
& r_0004_0012__can_r_0004_0013__fire(R_0004_0012__CAN_R_0004_0013__FIRE)
& has_arg0(R_0004_0012__CAN_R_0004_0013__FIRE,R_0004_0001__YOUR)
& has_qual(R_0004_0007__MANY,R_0004_0006__AS)
& has_arg1(R_0004_0003__IS_R_0004_0004__EQUIPPED_R_0004_0005__WITH,R_0004_0002__SHIP)
& r_0004_0002__ship(R_0004_0002__SHIP)
& has_gen(R_0004_0002__SHIP,R_0004_0001__YOUR) ) ).