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.
arc(r_0004_0002__ship, r_0004_0001__Your, gen).
arc(r_0004_0003__is, r_0004_0004__equipped, scope).
arc(r_0004_0004__equipped, r_0004_0002__ship, arg1).
arc(r_0004_0004__equipped, r_0004_0008__laser_r_0004_0009__bolts, r_0004_0005__with_clr20).
arc(r_0004_0004__equipped, z_000_4_a_meteors_13, arg0).
arc(r_0004_0007__many, r_0004_0006__as, qual22).
arc(r_0004_0007__many, z_000_4_a_meteors_36, r_0004_0010__as).
arc(r_0004_0008__laser_r_0004_0009__bolts, r_0004_0007__many, attrib21).
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_000_4_a_meteors_36, 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, attrib58).
arc(r_0004_0021__can, r_0004_0016__a_r_0004_0018__resort, r_0004_0015__as_nim55).
arc(r_0004_0021__can, r_0004_0022__escape, scope).
arc(r_0004_0022__escape, r_0004_0001__Your, arg0).
arc(r_0004_0022__escape, r_0004_0024__hyperspace, r_0004_0023__through_clr76).
fof(formula,axiom,
? [R_0004_0001__YOUR,Z_000_4_A_METEORS_36,R_0004_0012__CAN_R_0004_0013__FIRE,R_0004_0002__SHIP,R_0004_0006__AS,R_0004_0007__MANY,R_0004_0008__LASER_R_0004_0009__BOLTS,Z_000_4_A_METEORS_13,R_0004_0003__IS_R_0004_0004__EQUIPPED,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_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_000_4_a_meteors_13(Z_000_4_A_METEORS_13)
& z_000_4_a_meteors_36(Z_000_4_A_METEORS_36)
& r_0004_0014__and(R_0004_0014__AND)
& has_conj2(R_0004_0014__AND,R_0004_0021__CAN_R_0004_0022__ESCAPE)
& r_0004_0021__can_r_0004_0022__escape(R_0004_0021__CAN_R_0004_0022__ESCAPE)
& has_r_0004_0023__through_clr76(R_0004_0021__CAN_R_0004_0022__ESCAPE,R_0004_0024__HYPERSPACE)
& has_arg0(R_0004_0021__CAN_R_0004_0022__ESCAPE,R_0004_0001__YOUR)
& has_r_0004_0015__as_nim55(R_0004_0021__CAN_R_0004_0022__ESCAPE,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_attrib58(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_0003__is_r_0004_0004__equipped(R_0004_0003__IS_R_0004_0004__EQUIPPED)
& has_arg0(R_0004_0003__IS_R_0004_0004__EQUIPPED,Z_000_4_A_METEORS_13)
& has_r_0004_0005__with_clr20(R_0004_0003__IS_R_0004_0004__EQUIPPED,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_attrib21(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_000_4_A_METEORS_36)
& has_qual22(R_0004_0007__MANY,R_0004_0006__AS)
& has_arg1(R_0004_0003__IS_R_0004_0004__EQUIPPED,R_0004_0002__SHIP)
& r_0004_0002__ship(R_0004_0002__SHIP)
& has_gen(R_0004_0002__SHIP,R_0004_0001__YOUR)
& r_0004_0012__can_r_0004_0013__fire(R_0004_0012__CAN_R_0004_0013__FIRE)
& has_arg1(R_0004_0012__CAN_R_0004_0013__FIRE,Z_000_4_A_METEORS_36)
& has_arg0(R_0004_0012__CAN_R_0004_0013__FIRE,R_0004_0001__YOUR) ) ).
( (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))