2_a_meteors
Steer your laser - ship through a hail of meteors smashing them with your laser bolts as they hurtle towards you on all sides.
( (IP-IMP (VB;_Tn.pr_ Steer;{steer[through]})
(NP-OB1 (NP-GEN (PRO;_genm_ your;{your}))
(N laser;{laser})
(PUNC <hyphen>)
(N ship;{ship}))
(PP-CLR (P-ROLE through;{through})
(NP (D a;{a})
(N hail;{hail})
(PP (P-ROLE of;{of})
(NP;{METEORS} (NS meteors;{meteor})))))
(PP-SCON (IP-PPL2 (VAG;_Tn_ smashing;{smash})
(NP-OB1;{METEORS} (PRO them;{they}))
(PP-NIM (P-ROLE with;{with})
(NP (NP-GEN (PRO;_genm_ your;{your}))
(N laser;{laser})
(NS bolts;{bolt})))
(PP-SCON (P-CONN as;{as})
(IP-ADV (NP-SBJ;{METEORS} (PRO they;{they}))
(VBP;_Ipr_ hurtle;{hurtle[towards]})
(PP-CLR (P-ROLE towards;{towards})
(NP (PRO you;{you})))
(PP-NIM (P-ROLE on;{on})
(NP (Q all;{all})
(NS sides;{side})))))))
(PUNC .))
(ID 2_a_meteors))
arc(r_0002_0001__Steer_r_0002_0006__through,r_0002_0003__laser_r_0002_0005__ship,arg1).
arc(r_0002_0001__Steer_r_0002_0006__through,r_0002_0007__a_r_0002_0008__hail,arg2).
arc(r_0002_0001__Steer_r_0002_0006__through,z_0002_5002,arg0).
arc(r_0002_0003__laser_r_0002_0005__ship,r_0002_0002__your,gen).
arc(r_0002_0007__a_r_0002_0008__hail,r_0002_0010__meteors,r_0002_0009__of).
arc(r_0002_0011__smashing,r_0002_0010__meteors,arg1).
arc(r_0002_0011__smashing,r_0002_0015__laser_r_0002_0016__bolts,r_0002_0013__with__nim).
arc(r_0002_0011__smashing,z_0002_5002,arg0).
arc(r_0002_0015__laser_r_0002_0016__bolts,r_0002_0002__your,gen).
arc(r_0002_0017__as,r_0002_0011__smashing,scope).
arc(r_0002_0017__as,r_0002_0023__all__quant,restriction).
arc(r_0002_0019__hurtle_r_0002_0020__towards,r_0002_0002__your,arg1).
arc(r_0002_0019__hurtle_r_0002_0020__towards,r_0002_0010__meteors,arg0).
arc(r_0002_0019__hurtle_r_0002_0020__towards,r_0002_0024__sides,r_0002_0022__on__nim).
arc(r_0002_0023__all__quant,r_0002_0019__hurtle_r_0002_0020__towards,scope).
arc(r_0002_0023__all__quant,r_0002_0024__sides,restriction).
arc(z_0002_5006,r_0002_0001__Steer_r_0002_0006__through,scope).
arc(z_0002_5006,r_0002_0017__as,restriction).
fof(formula,axiom,
? [R_0002_0002__YOUR,R_0002_0003__LASER_R_0002_0005__SHIP,R_0002_0010__METEORS,R_0002_0007__A_R_0002_0008__HAIL,Z_0002_5002,R_0002_0001__STEER_R_0002_0006__THROUGH,R_0002_0015__LASER_R_0002_0016__BOLTS,R_0002_0011__SMASHING,R_0002_0017__AS,Z_0002_5006] :
( r_0002_0002__your(R_0002_0002__YOUR)
& r_0002_0010__meteors(R_0002_0010__METEORS)
& z_0002_5002(Z_0002_5002)
& z_0002_5006(Z_0002_5006)
& has_conj1(Z_0002_5006,R_0002_0017__AS)
& r_0002_0017__as(R_0002_0017__AS)
& ! [R_0002_0024__SIDES] :
( r_0002_0024__sides(R_0002_0024__SIDES)
=> ? [R_0002_0019__HURTLE_R_0002_0020__TOWARDS] :
( r_0002_0019__hurtle_r_0002_0020__towards(R_0002_0019__HURTLE_R_0002_0020__TOWARDS)
& has_r_0002_0022__on__nim(R_0002_0019__HURTLE_R_0002_0020__TOWARDS,R_0002_0024__SIDES)
& has_arg0(R_0002_0019__HURTLE_R_0002_0020__TOWARDS,R_0002_0010__METEORS)
& has_arg1(R_0002_0019__HURTLE_R_0002_0020__TOWARDS,R_0002_0002__YOUR) ) )
& has_conj2(R_0002_0017__AS,R_0002_0011__SMASHING)
& r_0002_0011__smashing(R_0002_0011__SMASHING)
& has_arg0(R_0002_0011__SMASHING,Z_0002_5002)
& has_r_0002_0013__with__nim(R_0002_0011__SMASHING,R_0002_0015__LASER_R_0002_0016__BOLTS)
& r_0002_0015__laser_r_0002_0016__bolts(R_0002_0015__LASER_R_0002_0016__BOLTS)
& has_gen(R_0002_0015__LASER_R_0002_0016__BOLTS,R_0002_0002__YOUR)
& has_arg1(R_0002_0011__SMASHING,R_0002_0010__METEORS)
& has_conj2(Z_0002_5006,R_0002_0001__STEER_R_0002_0006__THROUGH)
& r_0002_0001__Steer_r_0002_0006__through(R_0002_0001__STEER_R_0002_0006__THROUGH)
& has_arg0(R_0002_0001__STEER_R_0002_0006__THROUGH,Z_0002_5002)
& has_arg2(R_0002_0001__STEER_R_0002_0006__THROUGH,R_0002_0007__A_R_0002_0008__HAIL)
& r_0002_0007__a_r_0002_0008__hail(R_0002_0007__A_R_0002_0008__HAIL)
& has_r_0002_0009__of(R_0002_0007__A_R_0002_0008__HAIL,R_0002_0010__METEORS)
& has_arg1(R_0002_0001__STEER_R_0002_0006__THROUGH,R_0002_0003__LASER_R_0002_0005__SHIP)
& r_0002_0003__laser_r_0002_0005__ship(R_0002_0003__LASER_R_0002_0005__SHIP)
& has_gen(R_0002_0003__LASER_R_0002_0005__SHIP,R_0002_0002__YOUR) ) ).