Context                Previous, Next                Top


15_a_planetoid
Score 500 for each life - form caught in flight and 500 for each one safely returned to the planetoid surface.

%3 r_0015_0001__Score Score r_0015_0002__500 500 r_0015_0001__Score->r_0015_0002__500 [arg1] r_0015_0005__life_r_0015_0007__form life form r_0015_0001__Score->r_0015_0005__life_r_0015_0007__form for [nim] z_000_15_a_planetoid_1 r_0015_0001__Score->z_000_15_a_planetoid_1 [arg0] r_0015_0004__each_quant each [quant] r_0015_0004__each_quant->r_0015_0001__Score [scope] r_0015_0004__each_quant->r_0015_0005__life_r_0015_0007__form [restriction] r_0015_0008__caught caught r_0015_0008__caught->r_0015_0005__life_r_0015_0007__form [arg1] r_0015_0010__flight flight r_0015_0008__caught->r_0015_0010__flight in [nim] z_000_15_a_planetoid_22 r_0015_0008__caught->z_000_15_a_planetoid_22 [arg0] r_0015_0011__and and r_0015_0011__and->r_0015_0004__each_quant [conj1] r_0015_0014__each_quant each [quant] r_0015_0011__and->r_0015_0014__each_quant [conj2] r_0015_0015__one one r_0015_0014__each_quant->r_0015_0015__one [restriction] z_000_15_a_planetoid_35 r_0015_0014__each_quant->z_000_15_a_planetoid_35 [scope] z_000_15_a_planetoid_35->z_000_15_a_planetoid_1 [arg0] z_000_15_a_planetoid_35->r_0015_0015__one for [nim] r_0015_0012__500 500 z_000_15_a_planetoid_35->r_0015_0012__500 [arg1] r_0015_0017__returned returned r_0015_0017__returned->r_0015_0015__one [arg1] r_0015_0016__safely safely r_0015_0017__returned->r_0015_0016__safely [nim] r_0015_0019__the_r_0015_0021__surface the surface r_0015_0017__returned->r_0015_0019__the_r_0015_0021__surface to [nim] z_000_15_a_planetoid_48 r_0015_0017__returned->z_000_15_a_planetoid_48 [arg0] r_0015_0020__planetoid planetoid r_0015_0019__the_r_0015_0021__surface->r_0015_0020__planetoid [attrib] 
arc(r_0015_0001__Score, r_0015_0002__500, arg1).
arc(r_0015_0001__Score, r_0015_0005__life_r_0015_0007__form, r_0015_0003__for_nim12).
arc(r_0015_0001__Score, z_000_15_a_planetoid_1, arg0).
arc(r_0015_0004__each_quant, r_0015_0001__Score, scope).
arc(r_0015_0004__each_quant, r_0015_0005__life_r_0015_0007__form, restriction).
arc(r_0015_0008__caught, r_0015_0005__life_r_0015_0007__form, arg1).
arc(r_0015_0008__caught, r_0015_0010__flight, r_0015_0009__in_nim29).
arc(r_0015_0008__caught, z_000_15_a_planetoid_22, arg0).
arc(r_0015_0011__and, r_0015_0004__each_quant, conj1).
arc(r_0015_0011__and, r_0015_0014__each_quant, conj2).
arc(r_0015_0014__each_quant, r_0015_0015__one, restriction).
arc(r_0015_0014__each_quant, z_000_15_a_planetoid_35, scope).
arc(r_0015_0017__returned, r_0015_0015__one, arg1).
arc(r_0015_0017__returned, r_0015_0016__safely, nim50).
arc(r_0015_0017__returned, r_0015_0019__the_r_0015_0021__surface, r_0015_0018__to_nim58).
arc(r_0015_0017__returned, z_000_15_a_planetoid_48, arg0).
arc(r_0015_0019__the_r_0015_0021__surface, r_0015_0020__planetoid, attrib61).
arc(z_000_15_a_planetoid_35, r_0015_0012__500, arg1).
arc(z_000_15_a_planetoid_35, r_0015_0015__one, r_0015_0013__for_nim42).
arc(z_000_15_a_planetoid_35, z_000_15_a_planetoid_1, arg0).


%3 r_0015_0001__Score Score r_0015_0002__500 500 r_0015_0001__Score->r_0015_0002__500 [arg1] r_0015_0005__life_r_0015_0007__form life form r_0015_0001__Score->r_0015_0005__life_r_0015_0007__form for [nim] z_000_15_a_planetoid_1 r_0015_0001__Score->z_000_15_a_planetoid_1 [arg0] r_0015_0004__each_quant each [quant] r_0015_0004__each_quant->r_0015_0001__Score [scope] r_0015_0008__caught caught r_0015_0004__each_quant->r_0015_0008__caught [restriction] r_0015_0008__caught->r_0015_0005__life_r_0015_0007__form [arg1] r_0015_0010__flight flight r_0015_0008__caught->r_0015_0010__flight in [nim] z_000_15_a_planetoid_22 r_0015_0008__caught->z_000_15_a_planetoid_22 [arg0] r_0015_0011__and and r_0015_0011__and->r_0015_0004__each_quant [conj1] r_0015_0014__each_quant each [quant] r_0015_0011__and->r_0015_0014__each_quant [conj2] r_0015_0017__returned returned r_0015_0014__each_quant->r_0015_0017__returned [restriction] z_000_15_a_planetoid_35 r_0015_0014__each_quant->z_000_15_a_planetoid_35 [scope] r_0015_0015__one one r_0015_0017__returned->r_0015_0015__one [arg1] r_0015_0016__safely safely r_0015_0017__returned->r_0015_0016__safely [nim] r_0015_0019__the_r_0015_0021__surface the surface r_0015_0017__returned->r_0015_0019__the_r_0015_0021__surface to [nim] z_000_15_a_planetoid_48 r_0015_0017__returned->z_000_15_a_planetoid_48 [arg0] z_000_15_a_planetoid_35->z_000_15_a_planetoid_1 [arg0] z_000_15_a_planetoid_35->r_0015_0015__one for [nim] r_0015_0012__500 500 z_000_15_a_planetoid_35->r_0015_0012__500 [arg1] r_0015_0020__planetoid planetoid r_0015_0019__the_r_0015_0021__surface->r_0015_0020__planetoid [attrib] 
fof(formula,axiom,
    ? [R_15_11_AND] :
      ( ! [R_15_17_RETURNED,Z_15_A_PLANETOID_48,R_15_15_ONE,R_15_16_SAFELY,R_15_19_THE_SURFACE,R_15_20_PLANETOID] :
          ( ( one(R_15_15_ONE)
            & safely(R_15_16_SAFELY)
            & planetoid(R_15_20_PLANETOID)
            & returned(R_15_17_RETURNED,Z_15_A_PLANETOID_48,R_15_15_ONE)
            & nim50(R_15_17_RETURNED,R_15_16_SAFELY)
            & to_nim58(R_15_17_RETURNED,R_15_19_THE_SURFACE)
            & the_surface(R_15_19_THE_SURFACE)
            & attrib61(R_15_19_THE_SURFACE,R_15_20_PLANETOID) )
         => ? [Z_15_A_PLANETOID_35,Z_15_A_PLANETOID_1,R_15_12_500] :
              ( 500(R_15_12_500)
              & z_15_a_planetoid_35(Z_15_A_PLANETOID_35,Z_15_A_PLANETOID_1,R_15_12_500)
              & for_nim42(Z_15_A_PLANETOID_35,R_15_15_ONE) ) )
      & conj2(CONJ2)
      & ! [R_15_8_CAUGHT,Z_15_A_PLANETOID_22,R_15_5_LIFE_FORM,R_15_10_FLIGHT] :
          ( ( life_form(R_15_5_LIFE_FORM)
            & flight(R_15_10_FLIGHT)
            & caught(R_15_8_CAUGHT,Z_15_A_PLANETOID_22,R_15_5_LIFE_FORM)
            & in_nim29(R_15_8_CAUGHT,R_15_10_FLIGHT) )
         => ? [R_15_1_SCORE,Z_15_A_PLANETOID_1,R_15_2_500] :
              ( 500(R_15_2_500)
              & score(R_15_1_SCORE,Z_15_A_PLANETOID_1,R_15_2_500)
              & for_nim12(R_15_1_SCORE,R_15_5_LIFE_FORM) ) )
      & conj1(CONJ1)
      & and(R_15_11_AND) ) ).


n15_a_planetoid n15_a_planetoid_5 Score n15_a_planetoid_8 500 n15_a_planetoid_11 for n15_a_planetoid_14 each n15_a_planetoid_16 life n15_a_planetoid_18 - n15_a_planetoid_20 form n15_a_planetoid_23 * n15_a_planetoid_25 caught n15_a_planetoid_28 in n15_a_planetoid_31 flight n15_a_planetoid_34 and n15_a_planetoid_38 500 n15_a_planetoid_41 for n15_a_planetoid_44 each n15_a_planetoid_46 one n15_a_planetoid_49 * n15_a_planetoid_52 safely n15_a_planetoid_54 returned n15_a_planetoid_57 to n15_a_planetoid_60 the n15_a_planetoid_63 planetoid n15_a_planetoid_65 surface n15_a_planetoid_67 . n15_a_planetoid_1 IP-IMP n15_a_planetoid_2 ILYR n15_a_planetoid_1->n15_a_planetoid_2 n15_a_planetoid_66 PUNC n15_a_planetoid_1->n15_a_planetoid_66 n15_a_planetoid_3 ILYR n15_a_planetoid_2->n15_a_planetoid_3 n15_a_planetoid_32 CONJP n15_a_planetoid_2->n15_a_planetoid_32 n15_a_planetoid_4 VB;_Tn_ n15_a_planetoid_3->n15_a_planetoid_4 n15_a_planetoid_6 NP-OB1 n15_a_planetoid_3->n15_a_planetoid_6 n15_a_planetoid_9 PP-NIM n15_a_planetoid_3->n15_a_planetoid_9 n15_a_planetoid_4->n15_a_planetoid_5 n15_a_planetoid_7 NUM n15_a_planetoid_6->n15_a_planetoid_7 n15_a_planetoid_7->n15_a_planetoid_8 n15_a_planetoid_10 P-ROLE n15_a_planetoid_9->n15_a_planetoid_10 n15_a_planetoid_12 NP n15_a_planetoid_9->n15_a_planetoid_12 n15_a_planetoid_10->n15_a_planetoid_11 n15_a_planetoid_13 Q n15_a_planetoid_12->n15_a_planetoid_13 n15_a_planetoid_15 N n15_a_planetoid_12->n15_a_planetoid_15 n15_a_planetoid_17 PUNC n15_a_planetoid_12->n15_a_planetoid_17 n15_a_planetoid_19 N n15_a_planetoid_12->n15_a_planetoid_19 n15_a_planetoid_21 IP-PPL n15_a_planetoid_12->n15_a_planetoid_21 n15_a_planetoid_13->n15_a_planetoid_14 n15_a_planetoid_15->n15_a_planetoid_16 n15_a_planetoid_17->n15_a_planetoid_18 n15_a_planetoid_19->n15_a_planetoid_20 n15_a_planetoid_22 NP-LGS n15_a_planetoid_21->n15_a_planetoid_22 n15_a_planetoid_24 VVN;_Tn_ n15_a_planetoid_21->n15_a_planetoid_24 n15_a_planetoid_26 PP-NIM n15_a_planetoid_21->n15_a_planetoid_26 n15_a_planetoid_22->n15_a_planetoid_23 n15_a_planetoid_24->n15_a_planetoid_25 n15_a_planetoid_27 P-ROLE n15_a_planetoid_26->n15_a_planetoid_27 n15_a_planetoid_29 NP n15_a_planetoid_26->n15_a_planetoid_29 n15_a_planetoid_27->n15_a_planetoid_28 n15_a_planetoid_30 N n15_a_planetoid_29->n15_a_planetoid_30 n15_a_planetoid_30->n15_a_planetoid_31 n15_a_planetoid_33 CONJ n15_a_planetoid_32->n15_a_planetoid_33 n15_a_planetoid_35 ILYR n15_a_planetoid_32->n15_a_planetoid_35 n15_a_planetoid_33->n15_a_planetoid_34 n15_a_planetoid_36 NP-OB1 n15_a_planetoid_35->n15_a_planetoid_36 n15_a_planetoid_39 PP-NIM n15_a_planetoid_35->n15_a_planetoid_39 n15_a_planetoid_37 NUM n15_a_planetoid_36->n15_a_planetoid_37 n15_a_planetoid_37->n15_a_planetoid_38 n15_a_planetoid_40 P-ROLE n15_a_planetoid_39->n15_a_planetoid_40 n15_a_planetoid_42 NP n15_a_planetoid_39->n15_a_planetoid_42 n15_a_planetoid_40->n15_a_planetoid_41 n15_a_planetoid_43 Q n15_a_planetoid_42->n15_a_planetoid_43 n15_a_planetoid_45 N n15_a_planetoid_42->n15_a_planetoid_45 n15_a_planetoid_47 IP-PPL n15_a_planetoid_42->n15_a_planetoid_47 n15_a_planetoid_43->n15_a_planetoid_44 n15_a_planetoid_45->n15_a_planetoid_46 n15_a_planetoid_48 NP-LGS n15_a_planetoid_47->n15_a_planetoid_48 n15_a_planetoid_50 ADVP-NIM n15_a_planetoid_47->n15_a_planetoid_50 n15_a_planetoid_53 VVN;_Tn.pr_ n15_a_planetoid_47->n15_a_planetoid_53 n15_a_planetoid_55 PP-NIM n15_a_planetoid_47->n15_a_planetoid_55 n15_a_planetoid_48->n15_a_planetoid_49 n15_a_planetoid_51 ADV n15_a_planetoid_50->n15_a_planetoid_51 n15_a_planetoid_51->n15_a_planetoid_52 n15_a_planetoid_53->n15_a_planetoid_54 n15_a_planetoid_56 P-ROLE n15_a_planetoid_55->n15_a_planetoid_56 n15_a_planetoid_58 NP n15_a_planetoid_55->n15_a_planetoid_58 n15_a_planetoid_56->n15_a_planetoid_57 n15_a_planetoid_59 D n15_a_planetoid_58->n15_a_planetoid_59 n15_a_planetoid_61 ADJP n15_a_planetoid_58->n15_a_planetoid_61 n15_a_planetoid_64 N n15_a_planetoid_58->n15_a_planetoid_64 n15_a_planetoid_59->n15_a_planetoid_60 n15_a_planetoid_62 ADJ n15_a_planetoid_61->n15_a_planetoid_62 n15_a_planetoid_62->n15_a_planetoid_63 n15_a_planetoid_64->n15_a_planetoid_65 n15_a_planetoid_66->n15_a_planetoid_67 
( (IP-IMP (ILYR (ILYR (VB;_Tn_ Score;{score})
                      (NP-OB1 (NUM 500))
                      (PP-NIM (P-ROLE for;{for})
                              (NP (Q each;{each})
                                  (N life;{life})
                                  (PUNC <hyphen>)
                                  (N form;{form})
                                  (IP-PPL (NP-LGS *)
                                          (VVN;_Tn_ caught;{catch})
                                          (PP-NIM (P-ROLE in;{in})
                                                  (NP (N flight;{flight})))))))
                (CONJP (CONJ and;{and})
                       (ILYR (NP-OB1 (NUM 500))
                             (PP-NIM (P-ROLE for;{for})
                                     (NP (Q each;{each})
                                         (N one;{one})
                                         (IP-PPL (NP-LGS *)
                                                 (ADVP-NIM (ADV safely;{safely}))
                                                 (VVN;_Tn.pr_ returned;{return})
                                                 (PP-NIM (P-ROLE to;{to})
                                                         (NP (D the;{the})
                                                             (ADJP (ADJ planetoid;{planetoid}))
                                                             (N surface;{surface})))))))))
          (PUNC .))
  (ID 15_a_planetoid))