Context                Previous, Next                Top


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.

%3 r_0017_0001__If If r_0017_0014__and and r_0017_0001__If->r_0017_0014__and [restriction] r_0017_0021__receive receive r_0017_0001__If->r_0017_0021__receive [scope] r_0017_0003__retrieve retrieve r_0017_0014__and->r_0017_0003__retrieve [conj1] r_0017_0007__send send r_0017_0014__and->r_0017_0007__send [conj2] r_0017_0015__leave leave r_0017_0014__and->r_0017_0015__leave [conj3] r_0017_0020__you you r_0017_0021__receive->r_0017_0020__you [arg0] r_0017_0022__an_r_0017_0024__bonus an bonus r_0017_0021__receive->r_0017_0022__an_r_0017_0024__bonus [arg1] r_0017_0002__you you r_0017_0003__retrieve->r_0017_0002__you [arg0] r_0017_0004__the_r_0017_0005__pod the pod r_0017_0003__retrieve->r_0017_0004__the_r_0017_0005__pod [arg1] r_0017_0007__send->r_0017_0002__you [arg0] r_0017_0008__the_r_0017_0009__reactor the reactor r_0017_0007__send->r_0017_0008__the_r_0017_0009__reactor [arg1] r_0017_0013__phase phase r_0017_0007__send->r_0017_0013__phase into [clr] r_0017_0013__phase->r_0017_0008__the_r_0017_0009__reactor [gen] r_0017_0012__critical critical r_0017_0013__phase->r_0017_0012__critical [attrib] r_0017_0015__leave->r_0017_0002__you [arg0] r_0017_0016__the_r_0017_0017__planet the planet r_0017_0015__leave->r_0017_0016__the_r_0017_0017__planet [arg1] r_0017_0018__safely safely r_0017_0015__leave->r_0017_0018__safely [nim] r_0017_0023__extra extra r_0017_0022__an_r_0017_0024__bonus->r_0017_0023__extra [attrib] r_0017_0026__2000_r_0017_0027__points 2000 points r_0017_0022__an_r_0017_0024__bonus->r_0017_0026__2000_r_0017_0027__points of 
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_0002__you, arg0).
arc(r_0017_0007__send, r_0017_0008__the_r_0017_0009__reactor, arg1).
arc(r_0017_0007__send, r_0017_0013__phase, r_0017_0010__into_clr32).
arc(r_0017_0013__phase, r_0017_0008__the_r_0017_0009__reactor, gen).
arc(r_0017_0013__phase, r_0017_0012__critical, attrib36).
arc(r_0017_0014__and, r_0017_0003__retrieve, conj1).
arc(r_0017_0014__and, r_0017_0007__send, 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, nim52).
arc(r_0017_0021__receive, r_0017_0020__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, attrib65).
arc(r_0017_0022__an_r_0017_0024__bonus, r_0017_0026__2000_r_0017_0027__points, r_0017_0025__of).


%3 r_0017_0022__an_r_0017_0024__bonus an bonus r_0017_0026__2000_r_0017_0027__points 2000 points r_0017_0022__an_r_0017_0024__bonus->r_0017_0026__2000_r_0017_0027__points of r_0017_0023__extra extra r_0017_0022__an_r_0017_0024__bonus->r_0017_0023__extra [attrib] r_0017_0021__receive receive r_0017_0021__receive->r_0017_0022__an_r_0017_0024__bonus [arg1] r_0017_0020__you you r_0017_0021__receive->r_0017_0020__you [arg0] r_0017_0015__leave leave r_0017_0018__safely safely r_0017_0015__leave->r_0017_0018__safely [nim] r_0017_0016__the_r_0017_0017__planet the planet r_0017_0015__leave->r_0017_0016__the_r_0017_0017__planet [arg1] r_0017_0002__you you r_0017_0015__leave->r_0017_0002__you [arg0] r_0017_0014__and and r_0017_0014__and->r_0017_0015__leave [conj3] r_0017_0007__send send r_0017_0014__and->r_0017_0007__send [conj2] r_0017_0003__retrieve retrieve r_0017_0014__and->r_0017_0003__retrieve [conj1] r_0017_0007__send->r_0017_0002__you [arg0] r_0017_0013__phase phase r_0017_0007__send->r_0017_0013__phase into [clr] r_0017_0008__the_r_0017_0009__reactor the reactor r_0017_0007__send->r_0017_0008__the_r_0017_0009__reactor [arg1] r_0017_0003__retrieve->r_0017_0002__you [arg0] r_0017_0004__the_r_0017_0005__pod the pod r_0017_0003__retrieve->r_0017_0004__the_r_0017_0005__pod [arg1] r_0017_0012__critical critical r_0017_0013__phase->r_0017_0012__critical [attrib] r_0017_0013__phase->r_0017_0008__the_r_0017_0009__reactor [gen] r_0017_0001__If If r_0017_0001__If->r_0017_0021__receive [scope] r_0017_0001__If->r_0017_0014__and [restriction] 
fof(formula,axiom,
    ! [R_17_14_AND,R_17_3_RETRIEVE,R_17_4_THE_POD,R_17_7_SEND,R_17_13_PHASE,R_17_12_CRITICAL,R_17_8_THE_REACTOR,R_17_15_LEAVE,R_17_2_YOU,R_17_16_THE_PLANET,R_17_18_SAFELY] :
      ( ( the_pod(R_17_4_THE_POD)
        & critical(R_17_12_CRITICAL)
        & the_reactor(R_17_8_THE_REACTOR)
        & you(R_17_2_YOU)
        & the_planet(R_17_16_THE_PLANET)
        & safely(R_17_18_SAFELY)
        & and(R_17_14_AND)
        & conj1(R_17_14_AND,R_17_3_RETRIEVE)
        & retrieve(R_17_3_RETRIEVE,R_17_2_YOU,R_17_4_THE_POD)
        & conj2(R_17_14_AND,R_17_7_SEND)
        & send(R_17_7_SEND,R_17_2_YOU,R_17_8_THE_REACTOR)
        & into_clr32(R_17_7_SEND,R_17_13_PHASE)
        & phase(R_17_13_PHASE)
        & attrib36(R_17_13_PHASE,R_17_12_CRITICAL)
        & gen(R_17_13_PHASE,R_17_8_THE_REACTOR)
        & conj3(R_17_14_AND,R_17_15_LEAVE)
        & leave(R_17_15_LEAVE,R_17_2_YOU,R_17_16_THE_PLANET)
        & nim52(R_17_15_LEAVE,R_17_18_SAFELY) )
     => ? [R_17_21_RECEIVE,R_17_20_YOU,R_17_22_AN_BONUS,R_17_23_EXTRA,R_17_26_2000_POINTS] :
          ( you(R_17_20_YOU)
          & extra(R_17_23_EXTRA)
          & 2000_points(R_17_26_2000_POINTS)
          & receive(R_17_21_RECEIVE,R_17_20_YOU,R_17_22_AN_BONUS)
          & an_bonus(R_17_22_AN_BONUS)
          & attrib65(R_17_22_AN_BONUS,R_17_23_EXTRA)
          & of(R_17_22_AN_BONUS,R_17_26_2000_POINTS) ) ) ).


n17_a_thrust n17_a_thrust__1_1_1_1 If n17_a_thrust__1_1_2_1_1_1 you n17_a_thrust__1_1_2_2_1_1_1 retrieve n17_a_thrust__1_1_2_2_1_2_1_1 the n17_a_thrust__1_1_2_2_1_2_2_1 pod n17_a_thrust__1_1_2_2_2_1 , n17_a_thrust__1_1_2_2_3_1_1_1 send n17_a_thrust__1_1_2_2_3_1_2_1_1 the n17_a_thrust__1_1_2_2_3_1_2_2_1 reactor n17_a_thrust__1_1_2_2_3_1_3_1_1 into n17_a_thrust__1_1_2_2_3_1_3_2_1_1_1 its n17_a_thrust__1_1_2_2_3_1_3_2_2_1_1 critical n17_a_thrust__1_1_2_2_3_1_3_2_3_1 phase n17_a_thrust__1_1_2_2_4_1_1 and n17_a_thrust__1_1_2_2_4_2_1_1 leave n17_a_thrust__1_1_2_2_4_2_2_1_1 the n17_a_thrust__1_1_2_2_4_2_2_2_1 planet n17_a_thrust__1_1_2_2_4_2_3_1_1 safely n17_a_thrust__1_2_1 , n17_a_thrust__1_3_1_1 you n17_a_thrust__1_4_1 receive n17_a_thrust__1_5_1_1 an n17_a_thrust__1_5_2_1_1 extra n17_a_thrust__1_5_3_1 bonus n17_a_thrust__1_5_4_1_1 of n17_a_thrust__1_5_4_2_1_1 2000 n17_a_thrust__1_5_4_2_2_1 points n17_a_thrust__1_6_1 . n17_a_thrust__1 IP-MAT n17_a_thrust__1_1 PP-SCON n17_a_thrust__1->n17_a_thrust__1_1 n17_a_thrust__1_2 PUNC n17_a_thrust__1->n17_a_thrust__1_2 n17_a_thrust__1_3 NP-SBJ n17_a_thrust__1->n17_a_thrust__1_3 n17_a_thrust__1_4 VBP;_Tn_ n17_a_thrust__1->n17_a_thrust__1_4 n17_a_thrust__1_5 NP-OB1 n17_a_thrust__1->n17_a_thrust__1_5 n17_a_thrust__1_6 PUNC n17_a_thrust__1->n17_a_thrust__1_6 n17_a_thrust__1_1_1 P-CONN n17_a_thrust__1_1->n17_a_thrust__1_1_1 n17_a_thrust__1_1_2 IP-ADV n17_a_thrust__1_1->n17_a_thrust__1_1_2 n17_a_thrust__1_1_1->n17_a_thrust__1_1_1_1 n17_a_thrust__1_1_2_1 NP-SBJ n17_a_thrust__1_1_2->n17_a_thrust__1_1_2_1 n17_a_thrust__1_1_2_2 ILYR n17_a_thrust__1_1_2->n17_a_thrust__1_1_2_2 n17_a_thrust__1_1_2_1_1 PRO n17_a_thrust__1_1_2_1->n17_a_thrust__1_1_2_1_1 n17_a_thrust__1_1_2_1_1->n17_a_thrust__1_1_2_1_1_1 n17_a_thrust__1_1_2_2_1 ILYR n17_a_thrust__1_1_2_2->n17_a_thrust__1_1_2_2_1 n17_a_thrust__1_1_2_2_2 PUNC n17_a_thrust__1_1_2_2->n17_a_thrust__1_1_2_2_2 n17_a_thrust__1_1_2_2_3 CONJP n17_a_thrust__1_1_2_2->n17_a_thrust__1_1_2_2_3 n17_a_thrust__1_1_2_2_4 CONJP n17_a_thrust__1_1_2_2->n17_a_thrust__1_1_2_2_4 n17_a_thrust__1_1_2_2_1_1 VBP;_Tn_ n17_a_thrust__1_1_2_2_1->n17_a_thrust__1_1_2_2_1_1 n17_a_thrust__1_1_2_2_1_2 NP-OB1 n17_a_thrust__1_1_2_2_1->n17_a_thrust__1_1_2_2_1_2 n17_a_thrust__1_1_2_2_1_1->n17_a_thrust__1_1_2_2_1_1_1 n17_a_thrust__1_1_2_2_1_2_1 D n17_a_thrust__1_1_2_2_1_2->n17_a_thrust__1_1_2_2_1_2_1 n17_a_thrust__1_1_2_2_1_2_2 N n17_a_thrust__1_1_2_2_1_2->n17_a_thrust__1_1_2_2_1_2_2 n17_a_thrust__1_1_2_2_1_2_1->n17_a_thrust__1_1_2_2_1_2_1_1 n17_a_thrust__1_1_2_2_1_2_2->n17_a_thrust__1_1_2_2_1_2_2_1 n17_a_thrust__1_1_2_2_2->n17_a_thrust__1_1_2_2_2_1 n17_a_thrust__1_1_2_2_3_1 ILYR n17_a_thrust__1_1_2_2_3->n17_a_thrust__1_1_2_2_3_1 n17_a_thrust__1_1_2_2_3_1_1 VBP;_Tn.pr_ n17_a_thrust__1_1_2_2_3_1->n17_a_thrust__1_1_2_2_3_1_1 n17_a_thrust__1_1_2_2_3_1_2 NP-OB1 n17_a_thrust__1_1_2_2_3_1->n17_a_thrust__1_1_2_2_3_1_2 n17_a_thrust__1_1_2_2_3_1_3 PP-CLR n17_a_thrust__1_1_2_2_3_1->n17_a_thrust__1_1_2_2_3_1_3 n17_a_thrust__1_1_2_2_3_1_1->n17_a_thrust__1_1_2_2_3_1_1_1 n17_a_thrust__1_1_2_2_3_1_2_1 D n17_a_thrust__1_1_2_2_3_1_2->n17_a_thrust__1_1_2_2_3_1_2_1 n17_a_thrust__1_1_2_2_3_1_2_2 N n17_a_thrust__1_1_2_2_3_1_2->n17_a_thrust__1_1_2_2_3_1_2_2 n17_a_thrust__1_1_2_2_3_1_2_1->n17_a_thrust__1_1_2_2_3_1_2_1_1 n17_a_thrust__1_1_2_2_3_1_2_2->n17_a_thrust__1_1_2_2_3_1_2_2_1 n17_a_thrust__1_1_2_2_3_1_3_1 P-ROLE n17_a_thrust__1_1_2_2_3_1_3->n17_a_thrust__1_1_2_2_3_1_3_1 n17_a_thrust__1_1_2_2_3_1_3_2 NP n17_a_thrust__1_1_2_2_3_1_3->n17_a_thrust__1_1_2_2_3_1_3_2 n17_a_thrust__1_1_2_2_3_1_3_1->n17_a_thrust__1_1_2_2_3_1_3_1_1 n17_a_thrust__1_1_2_2_3_1_3_2_1 NP-GEN n17_a_thrust__1_1_2_2_3_1_3_2->n17_a_thrust__1_1_2_2_3_1_3_2_1 n17_a_thrust__1_1_2_2_3_1_3_2_2 ADJP n17_a_thrust__1_1_2_2_3_1_3_2->n17_a_thrust__1_1_2_2_3_1_3_2_2 n17_a_thrust__1_1_2_2_3_1_3_2_3 N n17_a_thrust__1_1_2_2_3_1_3_2->n17_a_thrust__1_1_2_2_3_1_3_2_3 n17_a_thrust__1_1_2_2_3_1_3_2_1_1 PRO;_genm_ n17_a_thrust__1_1_2_2_3_1_3_2_1->n17_a_thrust__1_1_2_2_3_1_3_2_1_1 n17_a_thrust__1_1_2_2_3_1_3_2_1_1->n17_a_thrust__1_1_2_2_3_1_3_2_1_1_1 n17_a_thrust__1_1_2_2_3_1_3_2_2_1 ADJ n17_a_thrust__1_1_2_2_3_1_3_2_2->n17_a_thrust__1_1_2_2_3_1_3_2_2_1 n17_a_thrust__1_1_2_2_3_1_3_2_2_1->n17_a_thrust__1_1_2_2_3_1_3_2_2_1_1 n17_a_thrust__1_1_2_2_3_1_3_2_3->n17_a_thrust__1_1_2_2_3_1_3_2_3_1 n17_a_thrust__1_1_2_2_4_1 CONJ n17_a_thrust__1_1_2_2_4->n17_a_thrust__1_1_2_2_4_1 n17_a_thrust__1_1_2_2_4_2 ILYR n17_a_thrust__1_1_2_2_4->n17_a_thrust__1_1_2_2_4_2 n17_a_thrust__1_1_2_2_4_1->n17_a_thrust__1_1_2_2_4_1_1 n17_a_thrust__1_1_2_2_4_2_1 VBP;_Tn_ n17_a_thrust__1_1_2_2_4_2->n17_a_thrust__1_1_2_2_4_2_1 n17_a_thrust__1_1_2_2_4_2_2 NP-OB1 n17_a_thrust__1_1_2_2_4_2->n17_a_thrust__1_1_2_2_4_2_2 n17_a_thrust__1_1_2_2_4_2_3 ADVP-NIM n17_a_thrust__1_1_2_2_4_2->n17_a_thrust__1_1_2_2_4_2_3 n17_a_thrust__1_1_2_2_4_2_1->n17_a_thrust__1_1_2_2_4_2_1_1 n17_a_thrust__1_1_2_2_4_2_2_1 D n17_a_thrust__1_1_2_2_4_2_2->n17_a_thrust__1_1_2_2_4_2_2_1 n17_a_thrust__1_1_2_2_4_2_2_2 N n17_a_thrust__1_1_2_2_4_2_2->n17_a_thrust__1_1_2_2_4_2_2_2 n17_a_thrust__1_1_2_2_4_2_2_1->n17_a_thrust__1_1_2_2_4_2_2_1_1 n17_a_thrust__1_1_2_2_4_2_2_2->n17_a_thrust__1_1_2_2_4_2_2_2_1 n17_a_thrust__1_1_2_2_4_2_3_1 ADV n17_a_thrust__1_1_2_2_4_2_3->n17_a_thrust__1_1_2_2_4_2_3_1 n17_a_thrust__1_1_2_2_4_2_3_1->n17_a_thrust__1_1_2_2_4_2_3_1_1 n17_a_thrust__1_2->n17_a_thrust__1_2_1 n17_a_thrust__1_3_1 PRO n17_a_thrust__1_3->n17_a_thrust__1_3_1 n17_a_thrust__1_3_1->n17_a_thrust__1_3_1_1 n17_a_thrust__1_4->n17_a_thrust__1_4_1 n17_a_thrust__1_5_1 D n17_a_thrust__1_5->n17_a_thrust__1_5_1 n17_a_thrust__1_5_2 ADJP n17_a_thrust__1_5->n17_a_thrust__1_5_2 n17_a_thrust__1_5_3 N n17_a_thrust__1_5->n17_a_thrust__1_5_3 n17_a_thrust__1_5_4 PP n17_a_thrust__1_5->n17_a_thrust__1_5_4 n17_a_thrust__1_5_1->n17_a_thrust__1_5_1_1 n17_a_thrust__1_5_2_1 ADJ n17_a_thrust__1_5_2->n17_a_thrust__1_5_2_1 n17_a_thrust__1_5_2_1->n17_a_thrust__1_5_2_1_1 n17_a_thrust__1_5_3->n17_a_thrust__1_5_3_1 n17_a_thrust__1_5_4_1 P-ROLE n17_a_thrust__1_5_4->n17_a_thrust__1_5_4_1 n17_a_thrust__1_5_4_2 NP n17_a_thrust__1_5_4->n17_a_thrust__1_5_4_2 n17_a_thrust__1_5_4_1->n17_a_thrust__1_5_4_1_1 n17_a_thrust__1_5_4_2_1 NUM n17_a_thrust__1_5_4_2->n17_a_thrust__1_5_4_2_1 n17_a_thrust__1_5_4_2_2 NS n17_a_thrust__1_5_4_2->n17_a_thrust__1_5_4_2_2 n17_a_thrust__1_5_4_2_1->n17_a_thrust__1_5_4_2_1_1 n17_a_thrust__1_5_4_2_2->n17_a_thrust__1_5_4_2_2_1 n17_a_thrust__1_6->n17_a_thrust__1_6_1 
( (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))