12_a_thrust
Shooting the reactor will damage it, and the guns will cease firing until power can be restored.
arc(r_0012_0001__Shooting, r_0012_0002__the_r_0012_0003__reactor, arg1).
arc(r_0012_0001__Shooting, z_000_12_a_thrust_4, 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_000_12_a_thrust_52, arg0).
fof(formula,axiom,
? [R_0012_0002__THE_R_0012_0003__REACTOR,Z_000_12_A_THRUST_4,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_000_12_A_THRUST_52,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_000_12_a_thrust_4(Z_000_12_A_THRUST_4)
& z_000_12_a_thrust_52(Z_000_12_A_THRUST_52)
& 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_000_12_A_THRUST_52)
& 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_000_12_A_THRUST_4)
& has_arg1(R_0012_0001__SHOOTING,R_0012_0002__THE_R_0012_0003__REACTOR) ) ).
( (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))