60_a_saint_exupery_1943
Nothing about him gave any suggestion of a child lost in the middle of the desert, a thousand miles from any human habitation.
( (IP-MAT (NP-SBJ (Q;_nphd_ Nothing;{nothing})
(PP (P-ROLE about;{about})
(NP;{PRINCE} (PRO him;{he}))))
(VBD;__ gave;{give})
(NP-OB1 (D any;{any})
(N suggestion;{suggestion})
(PP (P-ROLE of;{of})
(NP;{PERSON} (D a;{a})
(N child;{child})
(IP-PPL (NP-LGS *)
(VVN;__ lost;{lose})
(PP-NIM (P-ROLE in;{in})
(NP (D the;{the})
(N middle;{middle})
(PP (P-ROLE of;{of})
(NP (D the;{the})
(N desert;{desert})))))
(PUNC ,)
(NP-NIM (D a;{a})
(NUM thousand;{thousand})
(NS miles;{mile})
(PP (P-ROLE from;{from})
(NP (D any;{any})
(ADJP (ADJ human;{human}))
(N habitation;{habitation}))))))))
(PUNC .))
(ID 60_a_saint_exupery_1943))
arc(r_0060_0001__Nothing__quant,r_0060_0004__gave,scope).
arc(r_0060_0001__Nothing__quant,z_0060_5003,restriction).
arc(r_0060_0004__gave,r_0060_0005__any_r_0060_0006__suggestion,arg1).
arc(r_0060_0004__gave,z_0060_5003,arg0).
arc(r_0060_0005__any_r_0060_0006__suggestion,r_0060_0008__a_r_0060_0009__child,r_0060_0007__of).
arc(r_0060_0010__lost,r_0060_0008__a_r_0060_0009__child,inv_arg1).
arc(r_0060_0010__lost,r_0060_0012__the_r_0060_0013__middle,r_0060_0011__in__nim).
arc(r_0060_0010__lost,r_0060_0018__a_r_0060_0019__thousand_r_0060_0020__miles,nim).
arc(r_0060_0010__lost,z_0060_5011___star_,arg0).
arc(r_0060_0012__the_r_0060_0013__middle,r_0060_0015__the_r_0060_0016__desert,r_0060_0014__of).
arc(r_0060_0018__a_r_0060_0019__thousand_r_0060_0020__miles,r_0060_0022__any_r_0060_0024__habitation,r_0060_0021__from).
arc(r_0060_0022__any_r_0060_0024__habitation,r_0060_0023__human,attrib).
arc(z_0060_5003,r_0060_0003__him,r_0060_0002__about).
fof(formula,axiom,
! [Z_0060_5003,R_0060_0003__HIM] :
( ( r_0060_0003__him(R_0060_0003__HIM)
& z_0060_5003(Z_0060_5003)
& has_r_0060_0002__about(Z_0060_5003,R_0060_0003__HIM) )
=> ? [R_0060_0015__THE_R_0060_0016__DESERT,R_0060_0012__THE_R_0060_0013__MIDDLE,R_0060_0023__HUMAN,R_0060_0022__ANY_R_0060_0024__HABITATION,R_0060_0018__A_R_0060_0019__THOUSAND_R_0060_0020__MILES,Z_0060_5011___STAR_,R_0060_0010__LOST,R_0060_0008__A_R_0060_0009__CHILD,R_0060_0005__ANY_R_0060_0006__SUGGESTION,R_0060_0004__GAVE] :
( r_0060_0015__the_r_0060_0016__desert(R_0060_0015__THE_R_0060_0016__DESERT)
& r_0060_0023__human(R_0060_0023__HUMAN)
& z_0060_5011___star_(Z_0060_5011___STAR_)
& r_0060_0004__gave(R_0060_0004__GAVE)
& has_arg0(R_0060_0004__GAVE,Z_0060_5003)
& has_arg1(R_0060_0004__GAVE,R_0060_0005__ANY_R_0060_0006__SUGGESTION)
& r_0060_0005__any_r_0060_0006__suggestion(R_0060_0005__ANY_R_0060_0006__SUGGESTION)
& has_r_0060_0007__of(R_0060_0005__ANY_R_0060_0006__SUGGESTION,R_0060_0008__A_R_0060_0009__CHILD)
& r_0060_0008__a_r_0060_0009__child(R_0060_0008__A_R_0060_0009__CHILD)
& has_inv_arg1(R_0060_0008__A_R_0060_0009__CHILD,R_0060_0010__LOST)
& r_0060_0010__lost(R_0060_0010__LOST)
& has_arg0(R_0060_0010__LOST,Z_0060_5011___STAR_)
& has_nim(R_0060_0010__LOST,R_0060_0018__A_R_0060_0019__THOUSAND_R_0060_0020__MILES)
& r_0060_0018__a_r_0060_0019__thousand_r_0060_0020__miles(R_0060_0018__A_R_0060_0019__THOUSAND_R_0060_0020__MILES)
& has_r_0060_0021__from(R_0060_0018__A_R_0060_0019__THOUSAND_R_0060_0020__MILES,R_0060_0022__ANY_R_0060_0024__HABITATION)
& r_0060_0022__any_r_0060_0024__habitation(R_0060_0022__ANY_R_0060_0024__HABITATION)
& has_attrib(R_0060_0022__ANY_R_0060_0024__HABITATION,R_0060_0023__HUMAN)
& has_r_0060_0011__in__nim(R_0060_0010__LOST,R_0060_0012__THE_R_0060_0013__MIDDLE)
& r_0060_0012__the_r_0060_0013__middle(R_0060_0012__THE_R_0060_0013__MIDDLE)
& has_r_0060_0014__of(R_0060_0012__THE_R_0060_0013__MIDDLE,R_0060_0015__THE_R_0060_0016__DESERT) ) ) ).