17_a_thrust
If you retrieve the pod, send the reactor into its critical phase and leave the planet safely, you receive an extra bonus of 2000 points.
( (IP-MAT (PP-SCON (P-CONN If;{if})
(IP-ADV (NP-SBJ;{PLAYER} (PRO you;{you}))
(ILYR (ILYR (VBP;_Tn_ retrieve;{retrieve})
(NP-OB1;{POD} (D the;{the})
(N pod;{pod})))
(PUNC ,)
(CONJP (ILYR (VBP;_Tn.pr_ send;{send[into]})
(NP-OB1;{REACTOR} (D the;{the})
(N reactor;{reactor}))
(PP-CLR (P-ROLE into;{into})
(NP (NP-GEN;{REACTOR} (PRO;_genm_ its;{its}))
(ADJP (ADJ critical;{critical}))
(N phase;{phase})))))
(CONJP (CONJ and;{and})
(ILYR (VBP;_Tn_ leave;{leave})
(NP-OB1;{PLANET} (D the;{the})
(N planet;{planet}))
(ADVP-NIM (ADV safely;{safely})))))))
(PUNC ,)
(NP-SBJ;{PLAYER} (PRO you;{you}))
(VBP;_Tn_ receive;{receive})
(NP-OB1 (D an;{an})
(ADJP (ADJ extra;{extra}))
(N bonus;{bonus})
(PP (P-ROLE of;{of})
(NP (NUM 2000)
(NS points;{point}))))
(PUNC .))
(ID 17_a_thrust))
arc(r_0017_0001__If,r_0017_0014__and,restriction).
arc(r_0017_0001__If,r_0017_0021__receive,scope).
arc(r_0017_0003__retrieve,r_0017_0002__you,arg0).
arc(r_0017_0003__retrieve,r_0017_0004__the_r_0017_0005__pod,arg1).
arc(r_0017_0007__send_r_0017_0010__into,r_0017_0002__you,arg0).
arc(r_0017_0007__send_r_0017_0010__into,r_0017_0008__the_r_0017_0009__reactor,arg1).
arc(r_0017_0007__send_r_0017_0010__into,r_0017_0013__phase,arg2).
arc(r_0017_0013__phase,r_0017_0008__the_r_0017_0009__reactor,gen).
arc(r_0017_0013__phase,r_0017_0012__critical,attrib).
arc(r_0017_0014__and,r_0017_0003__retrieve,conj1).
arc(r_0017_0014__and,r_0017_0007__send_r_0017_0010__into,conj2).
arc(r_0017_0014__and,r_0017_0015__leave,conj3).
arc(r_0017_0015__leave,r_0017_0002__you,arg0).
arc(r_0017_0015__leave,r_0017_0016__the_r_0017_0017__planet,arg1).
arc(r_0017_0015__leave,r_0017_0018__safely,nim).
arc(r_0017_0021__receive,r_0017_0002__you,arg0).
arc(r_0017_0021__receive,r_0017_0022__an_r_0017_0024__bonus,arg1).
arc(r_0017_0022__an_r_0017_0024__bonus,r_0017_0023__extra,attrib).
arc(r_0017_0022__an_r_0017_0024__bonus,r_0017_0026__2000_r_0017_0027__points,r_0017_0025__of).
fof(formula,axiom,
! [R_0017_0014__AND,R_0017_0002__YOU,R_0017_0004__THE_R_0017_0005__POD,R_0017_0003__RETRIEVE,R_0017_0008__THE_R_0017_0009__REACTOR,R_0017_0012__CRITICAL,R_0017_0013__PHASE,R_0017_0007__SEND_R_0017_0010__INTO,R_0017_0016__THE_R_0017_0017__PLANET,R_0017_0018__SAFELY,R_0017_0015__LEAVE] :
( ( r_0017_0002__you(R_0017_0002__YOU)
& r_0017_0004__the_r_0017_0005__pod(R_0017_0004__THE_R_0017_0005__POD)
& r_0017_0008__the_r_0017_0009__reactor(R_0017_0008__THE_R_0017_0009__REACTOR)
& r_0017_0012__critical(R_0017_0012__CRITICAL)
& r_0017_0016__the_r_0017_0017__planet(R_0017_0016__THE_R_0017_0017__PLANET)
& r_0017_0018__safely(R_0017_0018__SAFELY)
& r_0017_0014__and(R_0017_0014__AND)
& has_conj3(R_0017_0014__AND,R_0017_0015__LEAVE)
& r_0017_0015__leave(R_0017_0015__LEAVE)
& has_nim(R_0017_0015__LEAVE,R_0017_0018__SAFELY)
& has_arg1(R_0017_0015__LEAVE,R_0017_0016__THE_R_0017_0017__PLANET)
& has_arg0(R_0017_0015__LEAVE,R_0017_0002__YOU)
& has_conj2(R_0017_0014__AND,R_0017_0007__SEND_R_0017_0010__INTO)
& r_0017_0007__send_r_0017_0010__into(R_0017_0007__SEND_R_0017_0010__INTO)
& has_arg2(R_0017_0007__SEND_R_0017_0010__INTO,R_0017_0013__PHASE)
& r_0017_0013__phase(R_0017_0013__PHASE)
& has_attrib(R_0017_0013__PHASE,R_0017_0012__CRITICAL)
& has_gen(R_0017_0013__PHASE,R_0017_0008__THE_R_0017_0009__REACTOR)
& has_arg1(R_0017_0007__SEND_R_0017_0010__INTO,R_0017_0008__THE_R_0017_0009__REACTOR)
& has_arg0(R_0017_0007__SEND_R_0017_0010__INTO,R_0017_0002__YOU)
& has_conj1(R_0017_0014__AND,R_0017_0003__RETRIEVE)
& r_0017_0003__retrieve(R_0017_0003__RETRIEVE)
& has_arg1(R_0017_0003__RETRIEVE,R_0017_0004__THE_R_0017_0005__POD)
& has_arg0(R_0017_0003__RETRIEVE,R_0017_0002__YOU) )
=> ? [R_0017_0023__EXTRA,R_0017_0026__2000_R_0017_0027__POINTS,R_0017_0022__AN_R_0017_0024__BONUS,R_0017_0021__RECEIVE] :
( r_0017_0023__extra(R_0017_0023__EXTRA)
& r_0017_0026__2000_r_0017_0027__points(R_0017_0026__2000_R_0017_0027__POINTS)
& r_0017_0021__receive(R_0017_0021__RECEIVE)
& has_arg1(R_0017_0021__RECEIVE,R_0017_0022__AN_R_0017_0024__BONUS)
& r_0017_0022__an_r_0017_0024__bonus(R_0017_0022__AN_R_0017_0024__BONUS)
& has_r_0017_0025__of(R_0017_0022__AN_R_0017_0024__BONUS,R_0017_0026__2000_R_0017_0027__POINTS)
& has_attrib(R_0017_0022__AN_R_0017_0024__BONUS,R_0017_0023__EXTRA)
& has_arg0(R_0017_0021__RECEIVE,R_0017_0002__YOU) ) ) ).