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 z_000_15_a_planetoid_35 z_000_15_a_planetoid_1 z_000_15_a_planetoid_35->z_000_15_a_planetoid_1 [arg0] r_0015_0015__one one 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_0019__the_r_0015_0021__surface the surface r_0015_0020__planetoid planetoid r_0015_0019__the_r_0015_0021__surface->r_0015_0020__planetoid [attrib] r_0015_0017__returned returned r_0015_0017__returned->r_0015_0015__one [arg1] 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_0016__safely safely r_0015_0017__returned->r_0015_0016__safely [nim] r_0015_0014__each_quant each [quant] r_0015_0014__each_quant->z_000_15_a_planetoid_35 [scope] r_0015_0014__each_quant->r_0015_0017__returned [restriction] r_0015_0011__and and r_0015_0011__and->r_0015_0014__each_quant [conj2] r_0015_0004__each_quant each [quant] r_0015_0011__and->r_0015_0004__each_quant [conj1] r_0015_0008__caught caught r_0015_0004__each_quant->r_0015_0008__caught [restriction] r_0015_0001__Score Score r_0015_0004__each_quant->r_0015_0001__Score [scope] z_000_15_a_planetoid_22 r_0015_0008__caught->z_000_15_a_planetoid_22 [arg0] r_0015_0010__flight flight r_0015_0008__caught->r_0015_0010__flight in [nim] r_0015_0005__life_r_0015_0007__form life form r_0015_0008__caught->r_0015_0005__life_r_0015_0007__form [arg1] r_0015_0001__Score->z_000_15_a_planetoid_1 [arg0] r_0015_0001__Score->r_0015_0005__life_r_0015_0007__form for [nim] r_0015_0002__500 500 r_0015_0001__Score->r_0015_0002__500 [arg1] 
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__1_1_1_1_1 Score n15_a_planetoid__1_1_1_2_1_1 500 n15_a_planetoid__1_1_1_3_1_1 for n15_a_planetoid__1_1_1_3_2_1_1 each n15_a_planetoid__1_1_1_3_2_2_1 life n15_a_planetoid__1_1_1_3_2_3_1 - n15_a_planetoid__1_1_1_3_2_4_1 form n15_a_planetoid__1_1_1_3_2_5_1_1 * n15_a_planetoid__1_1_1_3_2_5_2_1 caught n15_a_planetoid__1_1_1_3_2_5_3_1_1 in n15_a_planetoid__1_1_1_3_2_5_3_2_1_1 flight n15_a_planetoid__1_1_2_1_1 and n15_a_planetoid__1_1_2_2_1_1_1 500 n15_a_planetoid__1_1_2_2_2_1_1 for n15_a_planetoid__1_1_2_2_2_2_1_1 each n15_a_planetoid__1_1_2_2_2_2_2_1 one n15_a_planetoid__1_1_2_2_2_2_3_1_1 * n15_a_planetoid__1_1_2_2_2_2_3_2_1_1 safely n15_a_planetoid__1_1_2_2_2_2_3_3_1 returned n15_a_planetoid__1_1_2_2_2_2_3_4_1_1 to n15_a_planetoid__1_1_2_2_2_2_3_4_2_1_1 the n15_a_planetoid__1_1_2_2_2_2_3_4_2_2_1_1 planetoid n15_a_planetoid__1_1_2_2_2_2_3_4_2_3_1 surface n15_a_planetoid__1_2_1 . n15_a_planetoid__1 IP-IMP n15_a_planetoid__1_1 ILYR n15_a_planetoid__1->n15_a_planetoid__1_1 n15_a_planetoid__1_2 PUNC n15_a_planetoid__1->n15_a_planetoid__1_2 n15_a_planetoid__1_1_1 ILYR n15_a_planetoid__1_1->n15_a_planetoid__1_1_1 n15_a_planetoid__1_1_2 CONJP n15_a_planetoid__1_1->n15_a_planetoid__1_1_2 n15_a_planetoid__1_1_1_1 VB;_Tn_ n15_a_planetoid__1_1_1->n15_a_planetoid__1_1_1_1 n15_a_planetoid__1_1_1_2 NP-OB1 n15_a_planetoid__1_1_1->n15_a_planetoid__1_1_1_2 n15_a_planetoid__1_1_1_3 PP-NIM n15_a_planetoid__1_1_1->n15_a_planetoid__1_1_1_3 n15_a_planetoid__1_1_1_1->n15_a_planetoid__1_1_1_1_1 n15_a_planetoid__1_1_1_2_1 NUM n15_a_planetoid__1_1_1_2->n15_a_planetoid__1_1_1_2_1 n15_a_planetoid__1_1_1_2_1->n15_a_planetoid__1_1_1_2_1_1 n15_a_planetoid__1_1_1_3_1 P-ROLE n15_a_planetoid__1_1_1_3->n15_a_planetoid__1_1_1_3_1 n15_a_planetoid__1_1_1_3_2 NP n15_a_planetoid__1_1_1_3->n15_a_planetoid__1_1_1_3_2 n15_a_planetoid__1_1_1_3_1->n15_a_planetoid__1_1_1_3_1_1 n15_a_planetoid__1_1_1_3_2_1 Q n15_a_planetoid__1_1_1_3_2->n15_a_planetoid__1_1_1_3_2_1 n15_a_planetoid__1_1_1_3_2_2 N n15_a_planetoid__1_1_1_3_2->n15_a_planetoid__1_1_1_3_2_2 n15_a_planetoid__1_1_1_3_2_3 PUNC n15_a_planetoid__1_1_1_3_2->n15_a_planetoid__1_1_1_3_2_3 n15_a_planetoid__1_1_1_3_2_4 N n15_a_planetoid__1_1_1_3_2->n15_a_planetoid__1_1_1_3_2_4 n15_a_planetoid__1_1_1_3_2_5 IP-PPL n15_a_planetoid__1_1_1_3_2->n15_a_planetoid__1_1_1_3_2_5 n15_a_planetoid__1_1_1_3_2_1->n15_a_planetoid__1_1_1_3_2_1_1 n15_a_planetoid__1_1_1_3_2_2->n15_a_planetoid__1_1_1_3_2_2_1 n15_a_planetoid__1_1_1_3_2_3->n15_a_planetoid__1_1_1_3_2_3_1 n15_a_planetoid__1_1_1_3_2_4->n15_a_planetoid__1_1_1_3_2_4_1 n15_a_planetoid__1_1_1_3_2_5_1 NP-LGS n15_a_planetoid__1_1_1_3_2_5->n15_a_planetoid__1_1_1_3_2_5_1 n15_a_planetoid__1_1_1_3_2_5_2 VVN;_Tn_ n15_a_planetoid__1_1_1_3_2_5->n15_a_planetoid__1_1_1_3_2_5_2 n15_a_planetoid__1_1_1_3_2_5_3 PP-NIM n15_a_planetoid__1_1_1_3_2_5->n15_a_planetoid__1_1_1_3_2_5_3 n15_a_planetoid__1_1_1_3_2_5_1->n15_a_planetoid__1_1_1_3_2_5_1_1 n15_a_planetoid__1_1_1_3_2_5_2->n15_a_planetoid__1_1_1_3_2_5_2_1 n15_a_planetoid__1_1_1_3_2_5_3_1 P-ROLE n15_a_planetoid__1_1_1_3_2_5_3->n15_a_planetoid__1_1_1_3_2_5_3_1 n15_a_planetoid__1_1_1_3_2_5_3_2 NP n15_a_planetoid__1_1_1_3_2_5_3->n15_a_planetoid__1_1_1_3_2_5_3_2 n15_a_planetoid__1_1_1_3_2_5_3_1->n15_a_planetoid__1_1_1_3_2_5_3_1_1 n15_a_planetoid__1_1_1_3_2_5_3_2_1 N n15_a_planetoid__1_1_1_3_2_5_3_2->n15_a_planetoid__1_1_1_3_2_5_3_2_1 n15_a_planetoid__1_1_1_3_2_5_3_2_1->n15_a_planetoid__1_1_1_3_2_5_3_2_1_1 n15_a_planetoid__1_1_2_1 CONJ n15_a_planetoid__1_1_2->n15_a_planetoid__1_1_2_1 n15_a_planetoid__1_1_2_2 ILYR n15_a_planetoid__1_1_2->n15_a_planetoid__1_1_2_2 n15_a_planetoid__1_1_2_1->n15_a_planetoid__1_1_2_1_1 n15_a_planetoid__1_1_2_2_1 NP-OB1 n15_a_planetoid__1_1_2_2->n15_a_planetoid__1_1_2_2_1 n15_a_planetoid__1_1_2_2_2 PP-NIM n15_a_planetoid__1_1_2_2->n15_a_planetoid__1_1_2_2_2 n15_a_planetoid__1_1_2_2_1_1 NUM n15_a_planetoid__1_1_2_2_1->n15_a_planetoid__1_1_2_2_1_1 n15_a_planetoid__1_1_2_2_1_1->n15_a_planetoid__1_1_2_2_1_1_1 n15_a_planetoid__1_1_2_2_2_1 P-ROLE n15_a_planetoid__1_1_2_2_2->n15_a_planetoid__1_1_2_2_2_1 n15_a_planetoid__1_1_2_2_2_2 NP n15_a_planetoid__1_1_2_2_2->n15_a_planetoid__1_1_2_2_2_2 n15_a_planetoid__1_1_2_2_2_1->n15_a_planetoid__1_1_2_2_2_1_1 n15_a_planetoid__1_1_2_2_2_2_1 Q n15_a_planetoid__1_1_2_2_2_2->n15_a_planetoid__1_1_2_2_2_2_1 n15_a_planetoid__1_1_2_2_2_2_2 N n15_a_planetoid__1_1_2_2_2_2->n15_a_planetoid__1_1_2_2_2_2_2 n15_a_planetoid__1_1_2_2_2_2_3 IP-PPL n15_a_planetoid__1_1_2_2_2_2->n15_a_planetoid__1_1_2_2_2_2_3 n15_a_planetoid__1_1_2_2_2_2_1->n15_a_planetoid__1_1_2_2_2_2_1_1 n15_a_planetoid__1_1_2_2_2_2_2->n15_a_planetoid__1_1_2_2_2_2_2_1 n15_a_planetoid__1_1_2_2_2_2_3_1 NP-LGS n15_a_planetoid__1_1_2_2_2_2_3->n15_a_planetoid__1_1_2_2_2_2_3_1 n15_a_planetoid__1_1_2_2_2_2_3_2 ADVP-NIM n15_a_planetoid__1_1_2_2_2_2_3->n15_a_planetoid__1_1_2_2_2_2_3_2 n15_a_planetoid__1_1_2_2_2_2_3_3 VVN;_Tn.pr_ n15_a_planetoid__1_1_2_2_2_2_3->n15_a_planetoid__1_1_2_2_2_2_3_3 n15_a_planetoid__1_1_2_2_2_2_3_4 PP-NIM n15_a_planetoid__1_1_2_2_2_2_3->n15_a_planetoid__1_1_2_2_2_2_3_4 n15_a_planetoid__1_1_2_2_2_2_3_1->n15_a_planetoid__1_1_2_2_2_2_3_1_1 n15_a_planetoid__1_1_2_2_2_2_3_2_1 ADV n15_a_planetoid__1_1_2_2_2_2_3_2->n15_a_planetoid__1_1_2_2_2_2_3_2_1 n15_a_planetoid__1_1_2_2_2_2_3_2_1->n15_a_planetoid__1_1_2_2_2_2_3_2_1_1 n15_a_planetoid__1_1_2_2_2_2_3_3->n15_a_planetoid__1_1_2_2_2_2_3_3_1 n15_a_planetoid__1_1_2_2_2_2_3_4_1 P-ROLE n15_a_planetoid__1_1_2_2_2_2_3_4->n15_a_planetoid__1_1_2_2_2_2_3_4_1 n15_a_planetoid__1_1_2_2_2_2_3_4_2 NP n15_a_planetoid__1_1_2_2_2_2_3_4->n15_a_planetoid__1_1_2_2_2_2_3_4_2 n15_a_planetoid__1_1_2_2_2_2_3_4_1->n15_a_planetoid__1_1_2_2_2_2_3_4_1_1 n15_a_planetoid__1_1_2_2_2_2_3_4_2_1 D n15_a_planetoid__1_1_2_2_2_2_3_4_2->n15_a_planetoid__1_1_2_2_2_2_3_4_2_1 n15_a_planetoid__1_1_2_2_2_2_3_4_2_2 ADJP n15_a_planetoid__1_1_2_2_2_2_3_4_2->n15_a_planetoid__1_1_2_2_2_2_3_4_2_2 n15_a_planetoid__1_1_2_2_2_2_3_4_2_3 N n15_a_planetoid__1_1_2_2_2_2_3_4_2->n15_a_planetoid__1_1_2_2_2_2_3_4_2_3 n15_a_planetoid__1_1_2_2_2_2_3_4_2_1->n15_a_planetoid__1_1_2_2_2_2_3_4_2_1_1 n15_a_planetoid__1_1_2_2_2_2_3_4_2_2_1 ADJ n15_a_planetoid__1_1_2_2_2_2_3_4_2_2->n15_a_planetoid__1_1_2_2_2_2_3_4_2_2_1 n15_a_planetoid__1_1_2_2_2_2_3_4_2_2_1->n15_a_planetoid__1_1_2_2_2_2_3_4_2_2_1_1 n15_a_planetoid__1_1_2_2_2_2_3_4_2_3->n15_a_planetoid__1_1_2_2_2_2_3_4_2_3_1 n15_a_planetoid__1_2->n15_a_planetoid__1_2_1 
( (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))