15_a_planetoid
Score 500 for each life - form caught in flight and 500 for each one safely returned to the planetoid surface.
( (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))
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__nim).
arc(r_0015_0001__Score,z_0015_5002,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,inv_arg1).
arc(r_0015_0008__caught,r_0015_0010__flight,r_0015_0009__in__nim).
arc(r_0015_0008__caught,z_0015_5007___star_,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_0015_5018,scope).
arc(r_0015_0017__returned,r_0015_0015__one,inv_arg1).
arc(r_0015_0017__returned,r_0015_0016__safely,nim).
arc(r_0015_0017__returned,r_0015_0019__the_r_0015_0021__surface,r_0015_0018__to__nim).
arc(r_0015_0017__returned,z_0015_5016___star_,arg0).
arc(r_0015_0019__the_r_0015_0021__surface,r_0015_0020__planetoid,attrib).
arc(z_0015_5018,r_0015_0012__500,arg1).
arc(z_0015_5018,r_0015_0015__one,r_0015_0013__for__nim).
arc(z_0015_5018,z_0015_5002,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_0015_5016___STAR_,R_0015_0017__RETURNED] :
( ( r_0015_0016__safely(R_0015_0016__SAFELY)
& r_0015_0020__planetoid(R_0015_0020__PLANETOID)
& z_0015_5016___star_(Z_0015_5016___STAR_)
& r_0015_0015__one(R_0015_0015__ONE)
& has_inv_arg1(R_0015_0015__ONE,R_0015_0017__RETURNED)
& r_0015_0017__returned(R_0015_0017__RETURNED)
& has_arg0(R_0015_0017__RETURNED,Z_0015_5016___STAR_)
& has_r_0015_0018__to__nim(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_attrib(R_0015_0019__THE_R_0015_0021__SURFACE,R_0015_0020__PLANETOID)
& has_nim(R_0015_0017__RETURNED,R_0015_0016__SAFELY) )
=> ? [R_0015_0012__500,Z_0015_5002,Z_0015_5018] :
( r_0015_0012__500(R_0015_0012__500)
& z_0015_5002(Z_0015_5002)
& z_0015_5018(Z_0015_5018)
& has_arg0(Z_0015_5018,Z_0015_5002)
& has_r_0015_0013__for__nim(Z_0015_5018,R_0015_0015__ONE)
& has_arg1(Z_0015_5018,R_0015_0012__500) ) )
& ! [R_0015_0005__LIFE_R_0015_0007__FORM,R_0015_0010__FLIGHT,Z_0015_5007___STAR_,R_0015_0008__CAUGHT] :
( ( r_0015_0010__flight(R_0015_0010__FLIGHT)
& z_0015_5007___star_(Z_0015_5007___STAR_)
& r_0015_0005__life_r_0015_0007__form(R_0015_0005__LIFE_R_0015_0007__FORM)
& has_inv_arg1(R_0015_0005__LIFE_R_0015_0007__FORM,R_0015_0008__CAUGHT)
& r_0015_0008__caught(R_0015_0008__CAUGHT)
& has_arg0(R_0015_0008__CAUGHT,Z_0015_5007___STAR_)
& has_r_0015_0009__in__nim(R_0015_0008__CAUGHT,R_0015_0010__FLIGHT) )
=> ? [R_0015_0002__500,Z_0015_5002,R_0015_0001__SCORE] :
( r_0015_0002__500(R_0015_0002__500)
& z_0015_5002(Z_0015_5002)
& r_0015_0001__Score(R_0015_0001__SCORE)
& has_arg0(R_0015_0001__SCORE,Z_0015_5002)
& has_r_0015_0003__for__nim(R_0015_0001__SCORE,R_0015_0005__LIFE_R_0015_0007__FORM)
& has_arg1(R_0015_0001__SCORE,R_0015_0002__500) ) ) ) ).