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_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_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_nim52(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_0007__send(R_0017_0007__SEND)
        & has_r_0017_0010__into_clr32(R_0017_0007__SEND,R_0017_0013__PHASE)
        & r_0017_0013__phase(R_0017_0013__PHASE)
        & has_attrib36(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_0008__THE_R_0017_0009__REACTOR)
        & has_arg0(R_0017_0007__SEND,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_0020__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_0020__you(R_0017_0020__YOU)
          & 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_attrib65(R_0017_0022__AN_R_0017_0024__BONUS,R_0017_0023__EXTRA)
          & has_arg0(R_0017_0021__RECEIVE,R_0017_0020__YOU) ) ) ).


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))