12_a_thrust
Shooting the reactor will damage it, and the guns will cease firing until power can be restored.
( (IP-MAT (ILYR (ILYR (IP-PPL-SBJ (VAG;_Tn_ Shooting;{shoot})
(NP-OB1;{REACTOR} (D the;{the})
(N reactor;{reactor})))
(MD;_cat_Vi_ will;{will})
(IP-INF-CAT (VB;_Tn_ damage;{damage})
(NP-OB1;{REACTOR} (PRO it;{it}))))
(PUNC ,)
(CONJP (CONJ and;{and})
(ILYR (NP-SBJ (D the;{the})
(NS guns;{gun}))
(MD;_cat_Vi_ will;{will})
(IP-INF-CAT (VB;_cat_Vg_ cease;{cease})
(IP-PPL-CAT (VAG;_I_ firing;{fire})))
(PP-SCON (P-CONN until;{until})
(IP-ADV (NP-SBJ (N power;{power}))
(MD;_cat_Vi_ can;{can})
(IP-INF-CAT (BE;_cat_VePASS_ be;{be})
(IP-PPL-CAT;{RESTORE_POWER} (NP-LGS *)
(VVN;_Tn_ restored;{restore}))))))))
(PUNC .))
(ID 12_a_thrust))
arc(r_0012_0001__Shooting,r_0012_0002__the_r_0012_0003__reactor,arg1).
arc(r_0012_0001__Shooting,z_0012_5003,arg0).
arc(r_0012_0004__will,r_0012_0005__damage,scope).
arc(r_0012_0005__damage,r_0012_0001__Shooting,arg0).
arc(r_0012_0005__damage,r_0012_0002__the_r_0012_0003__reactor,arg1).
arc(r_0012_0008__and,r_0012_0004__will,conj1).
arc(r_0012_0008__and,r_0012_0014__until,conj2).
arc(r_0012_0011__will,r_0012_0012__cease,scope).
arc(r_0012_0012__cease,r_0012_0013__firing,scope).
arc(r_0012_0013__firing,r_0012_0009__the_r_0012_0010__guns,arg0).
arc(r_0012_0014__until,r_0012_0011__will,scope).
arc(r_0012_0014__until,r_0012_0016__can,restriction).
arc(r_0012_0016__can,r_0012_0017__be,scope).
arc(r_0012_0017__be,r_0012_0018__restored,scope).
arc(r_0012_0018__restored,r_0012_0015__power,arg1).
arc(r_0012_0018__restored,z_0012_5015___star_,arg0).
fof(formula,axiom,
? [R_0012_0002__THE_R_0012_0003__REACTOR,Z_0012_5003,R_0012_0001__SHOOTING,R_0012_0004__WILL_R_0012_0005__DAMAGE,R_0012_0009__THE_R_0012_0010__GUNS,R_0012_0011__WILL_R_0012_0012__CEASE_R_0012_0013__FIRING,R_0012_0015__POWER,Z_0012_5015___STAR_,R_0012_0016__CAN_R_0012_0017__BE_R_0012_0018__RESTORED,R_0012_0014__UNTIL,R_0012_0008__AND] :
( r_0012_0002__the_r_0012_0003__reactor(R_0012_0002__THE_R_0012_0003__REACTOR)
& r_0012_0009__the_r_0012_0010__guns(R_0012_0009__THE_R_0012_0010__GUNS)
& r_0012_0015__power(R_0012_0015__POWER)
& z_0012_5003(Z_0012_5003)
& z_0012_5015___star_(Z_0012_5015___STAR_)
& r_0012_0008__and(R_0012_0008__AND)
& has_conj2(R_0012_0008__AND,R_0012_0014__UNTIL)
& r_0012_0014__until(R_0012_0014__UNTIL)
& has_conj1(R_0012_0014__UNTIL,R_0012_0016__CAN_R_0012_0017__BE_R_0012_0018__RESTORED)
& r_0012_0016__can_r_0012_0017__be_r_0012_0018__restored(R_0012_0016__CAN_R_0012_0017__BE_R_0012_0018__RESTORED)
& has_arg0(R_0012_0016__CAN_R_0012_0017__BE_R_0012_0018__RESTORED,Z_0012_5015___STAR_)
& has_arg1(R_0012_0016__CAN_R_0012_0017__BE_R_0012_0018__RESTORED,R_0012_0015__POWER)
& has_conj2(R_0012_0014__UNTIL,R_0012_0011__WILL_R_0012_0012__CEASE_R_0012_0013__FIRING)
& r_0012_0011__will_r_0012_0012__cease_r_0012_0013__firing(R_0012_0011__WILL_R_0012_0012__CEASE_R_0012_0013__FIRING)
& has_arg0(R_0012_0011__WILL_R_0012_0012__CEASE_R_0012_0013__FIRING,R_0012_0009__THE_R_0012_0010__GUNS)
& has_conj1(R_0012_0008__AND,R_0012_0004__WILL_R_0012_0005__DAMAGE)
& r_0012_0004__will_r_0012_0005__damage(R_0012_0004__WILL_R_0012_0005__DAMAGE)
& has_arg1(R_0012_0004__WILL_R_0012_0005__DAMAGE,R_0012_0002__THE_R_0012_0003__REACTOR)
& has_arg0(R_0012_0004__WILL_R_0012_0005__DAMAGE,R_0012_0001__SHOOTING)
& r_0012_0001__Shooting(R_0012_0001__SHOOTING)
& has_arg0(R_0012_0001__SHOOTING,Z_0012_5003)
& has_arg1(R_0012_0001__SHOOTING,R_0012_0002__THE_R_0012_0003__REACTOR) ) ).