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_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 
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_4 If n17_a_thrust_8 you n17_a_thrust_12 retrieve n17_a_thrust_15 the n17_a_thrust_17 pod n17_a_thrust_19 , n17_a_thrust_23 send n17_a_thrust_26 the n17_a_thrust_28 reactor n17_a_thrust_31 into n17_a_thrust_35 its n17_a_thrust_38 critical n17_a_thrust_40 phase n17_a_thrust_43 and n17_a_thrust_46 leave n17_a_thrust_49 the n17_a_thrust_51 planet n17_a_thrust_54 safely n17_a_thrust_56 , n17_a_thrust_59 you n17_a_thrust_61 receive n17_a_thrust_64 an n17_a_thrust_67 extra n17_a_thrust_69 bonus n17_a_thrust_72 of n17_a_thrust_75 2000 n17_a_thrust_77 points n17_a_thrust_79 . n17_a_thrust_1 IP-MAT n17_a_thrust_2 PP-SCON n17_a_thrust_1->n17_a_thrust_2 n17_a_thrust_55 PUNC n17_a_thrust_1->n17_a_thrust_55 n17_a_thrust_57 NP-SBJ n17_a_thrust_1->n17_a_thrust_57 n17_a_thrust_60 VBP;_Tn_ n17_a_thrust_1->n17_a_thrust_60 n17_a_thrust_62 NP-OB1 n17_a_thrust_1->n17_a_thrust_62 n17_a_thrust_78 PUNC n17_a_thrust_1->n17_a_thrust_78 n17_a_thrust_3 P-CONN n17_a_thrust_2->n17_a_thrust_3 n17_a_thrust_5 IP-ADV n17_a_thrust_2->n17_a_thrust_5 n17_a_thrust_3->n17_a_thrust_4 n17_a_thrust_6 NP-SBJ n17_a_thrust_5->n17_a_thrust_6 n17_a_thrust_9 ILYR n17_a_thrust_5->n17_a_thrust_9 n17_a_thrust_7 PRO n17_a_thrust_6->n17_a_thrust_7 n17_a_thrust_7->n17_a_thrust_8 n17_a_thrust_10 ILYR n17_a_thrust_9->n17_a_thrust_10 n17_a_thrust_18 PUNC n17_a_thrust_9->n17_a_thrust_18 n17_a_thrust_20 CONJP n17_a_thrust_9->n17_a_thrust_20 n17_a_thrust_41 CONJP n17_a_thrust_9->n17_a_thrust_41 n17_a_thrust_11 VBP;_Tn_ n17_a_thrust_10->n17_a_thrust_11 n17_a_thrust_13 NP-OB1 n17_a_thrust_10->n17_a_thrust_13 n17_a_thrust_11->n17_a_thrust_12 n17_a_thrust_14 D n17_a_thrust_13->n17_a_thrust_14 n17_a_thrust_16 N n17_a_thrust_13->n17_a_thrust_16 n17_a_thrust_14->n17_a_thrust_15 n17_a_thrust_16->n17_a_thrust_17 n17_a_thrust_18->n17_a_thrust_19 n17_a_thrust_21 ILYR n17_a_thrust_20->n17_a_thrust_21 n17_a_thrust_22 VBP;_Tn.pr_ n17_a_thrust_21->n17_a_thrust_22 n17_a_thrust_24 NP-OB1 n17_a_thrust_21->n17_a_thrust_24 n17_a_thrust_29 PP-CLR n17_a_thrust_21->n17_a_thrust_29 n17_a_thrust_22->n17_a_thrust_23 n17_a_thrust_25 D n17_a_thrust_24->n17_a_thrust_25 n17_a_thrust_27 N n17_a_thrust_24->n17_a_thrust_27 n17_a_thrust_25->n17_a_thrust_26 n17_a_thrust_27->n17_a_thrust_28 n17_a_thrust_30 P-ROLE n17_a_thrust_29->n17_a_thrust_30 n17_a_thrust_32 NP n17_a_thrust_29->n17_a_thrust_32 n17_a_thrust_30->n17_a_thrust_31 n17_a_thrust_33 NP-GEN n17_a_thrust_32->n17_a_thrust_33 n17_a_thrust_36 ADJP n17_a_thrust_32->n17_a_thrust_36 n17_a_thrust_39 N n17_a_thrust_32->n17_a_thrust_39 n17_a_thrust_34 PRO;_genm_ n17_a_thrust_33->n17_a_thrust_34 n17_a_thrust_34->n17_a_thrust_35 n17_a_thrust_37 ADJ n17_a_thrust_36->n17_a_thrust_37 n17_a_thrust_37->n17_a_thrust_38 n17_a_thrust_39->n17_a_thrust_40 n17_a_thrust_42 CONJ n17_a_thrust_41->n17_a_thrust_42 n17_a_thrust_44 ILYR n17_a_thrust_41->n17_a_thrust_44 n17_a_thrust_42->n17_a_thrust_43 n17_a_thrust_45 VBP;_Tn_ n17_a_thrust_44->n17_a_thrust_45 n17_a_thrust_47 NP-OB1 n17_a_thrust_44->n17_a_thrust_47 n17_a_thrust_52 ADVP-NIM n17_a_thrust_44->n17_a_thrust_52 n17_a_thrust_45->n17_a_thrust_46 n17_a_thrust_48 D n17_a_thrust_47->n17_a_thrust_48 n17_a_thrust_50 N n17_a_thrust_47->n17_a_thrust_50 n17_a_thrust_48->n17_a_thrust_49 n17_a_thrust_50->n17_a_thrust_51 n17_a_thrust_53 ADV n17_a_thrust_52->n17_a_thrust_53 n17_a_thrust_53->n17_a_thrust_54 n17_a_thrust_55->n17_a_thrust_56 n17_a_thrust_58 PRO n17_a_thrust_57->n17_a_thrust_58 n17_a_thrust_58->n17_a_thrust_59 n17_a_thrust_60->n17_a_thrust_61 n17_a_thrust_63 D n17_a_thrust_62->n17_a_thrust_63 n17_a_thrust_65 ADJP n17_a_thrust_62->n17_a_thrust_65 n17_a_thrust_68 N n17_a_thrust_62->n17_a_thrust_68 n17_a_thrust_70 PP n17_a_thrust_62->n17_a_thrust_70 n17_a_thrust_63->n17_a_thrust_64 n17_a_thrust_66 ADJ n17_a_thrust_65->n17_a_thrust_66 n17_a_thrust_66->n17_a_thrust_67 n17_a_thrust_68->n17_a_thrust_69 n17_a_thrust_71 P-ROLE n17_a_thrust_70->n17_a_thrust_71 n17_a_thrust_73 NP n17_a_thrust_70->n17_a_thrust_73 n17_a_thrust_71->n17_a_thrust_72 n17_a_thrust_74 NUM n17_a_thrust_73->n17_a_thrust_74 n17_a_thrust_76 NS n17_a_thrust_73->n17_a_thrust_76 n17_a_thrust_74->n17_a_thrust_75 n17_a_thrust_76->n17_a_thrust_77 n17_a_thrust_78->n17_a_thrust_79 
( (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))