15_a_planetoid
Score 500 for each life - form caught in flight and 500 for each one safely returned to the planetoid surface.
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).
fof(formula,axiom,
? [R_0015_0011__AND] :
( r_0015_0011__and(R_0015_0011__AND)
& ! [R_0015_0015__ONE,R_0015_0016__SAFELY,R_0015_0020__PLANETOID,R_0015_0019__THE_R_0015_0021__SURFACE,Z_000_15_A_PLANETOID_48,R_0015_0017__RETURNED] :
( ( r_0015_0015__one(R_0015_0015__ONE)
& r_0015_0016__safely(R_0015_0016__SAFELY)
& r_0015_0020__planetoid(R_0015_0020__PLANETOID)
& z_000_15_a_planetoid_48(Z_000_15_A_PLANETOID_48)
& r_0015_0017__returned(R_0015_0017__RETURNED)
& has_arg0(R_0015_0017__RETURNED,Z_000_15_A_PLANETOID_48)
& has_r_0015_0018__to_nim58(R_0015_0017__RETURNED,R_0015_0019__THE_R_0015_0021__SURFACE)
& r_0015_0019__the_r_0015_0021__surface(R_0015_0019__THE_R_0015_0021__SURFACE)
& has_attrib61(R_0015_0019__THE_R_0015_0021__SURFACE,R_0015_0020__PLANETOID)
& has_nim50(R_0015_0017__RETURNED,R_0015_0016__SAFELY)
& has_arg1(R_0015_0017__RETURNED,R_0015_0015__ONE) )
=> ? [R_0015_0012__500,Z_000_15_A_PLANETOID_1,Z_000_15_A_PLANETOID_35] :
( r_0015_0012__500(R_0015_0012__500)
& z_000_15_a_planetoid_1(Z_000_15_A_PLANETOID_1)
& z_000_15_a_planetoid_35(Z_000_15_A_PLANETOID_35)
& has_arg0(Z_000_15_A_PLANETOID_35,Z_000_15_A_PLANETOID_1)
& has_r_0015_0013__for_nim42(Z_000_15_A_PLANETOID_35,R_0015_0015__ONE)
& has_arg1(Z_000_15_A_PLANETOID_35,R_0015_0012__500) ) )
& ! [R_0015_0005__LIFE_R_0015_0007__FORM,R_0015_0010__FLIGHT,Z_000_15_A_PLANETOID_22,R_0015_0008__CAUGHT] :
( ( r_0015_0005__life_r_0015_0007__form(R_0015_0005__LIFE_R_0015_0007__FORM)
& r_0015_0010__flight(R_0015_0010__FLIGHT)
& z_000_15_a_planetoid_22(Z_000_15_A_PLANETOID_22)
& r_0015_0008__caught(R_0015_0008__CAUGHT)
& has_arg0(R_0015_0008__CAUGHT,Z_000_15_A_PLANETOID_22)
& has_r_0015_0009__in_nim29(R_0015_0008__CAUGHT,R_0015_0010__FLIGHT)
& has_arg1(R_0015_0008__CAUGHT,R_0015_0005__LIFE_R_0015_0007__FORM) )
=> ? [R_0015_0002__500,Z_000_15_A_PLANETOID_1,R_0015_0001__SCORE] :
( r_0015_0002__500(R_0015_0002__500)
& z_000_15_a_planetoid_1(Z_000_15_A_PLANETOID_1)
& r_0015_0001__Score(R_0015_0001__SCORE)
& has_arg0(R_0015_0001__SCORE,Z_000_15_A_PLANETOID_1)
& has_r_0015_0003__for_nim12(R_0015_0001__SCORE,R_0015_0005__LIFE_R_0015_0007__FORM)
& has_arg1(R_0015_0001__SCORE,R_0015_0002__500) ) ) ) ).
( (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))