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.
arc(r_0060_0001__Nothing_quant, r_0060_0004__gave, scope).
arc(r_0060_0001__Nothing_quant, z_000_60_a_saint_exupery_1943_2, restriction).
arc(r_0060_0004__gave, r_0060_0005__any_r_0060_0006__suggestion, arg1).
arc(r_0060_0004__gave, z_000_60_a_saint_exupery_1943_2, 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, arg1).
arc(r_0060_0010__lost, r_0060_0012__the_r_0060_0013__middle, r_0060_0011__in_nim34).
arc(r_0060_0010__lost, r_0060_0018__a_r_0060_0019__thousand_r_0060_0020__miles, nim49).
arc(r_0060_0010__lost, z_000_60_a_saint_exupery_1943_27, 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, attrib62).
arc(z_000_60_a_saint_exupery_1943_2, r_0060_0003__him, r_0060_0002__about).
fof(formula,axiom,
? [R_0060_0008__A_R_0060_0009__CHILD,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_000_60_A_SAINT_EXUPERY_1943_27,R_0060_0010__LOST] :
( r_0060_0008__a_r_0060_0009__child(R_0060_0008__A_R_0060_0009__CHILD)
& 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_000_60_a_saint_exupery_1943_27(Z_000_60_A_SAINT_EXUPERY_1943_27)
& r_0060_0010__lost(R_0060_0010__LOST)
& has_arg0(R_0060_0010__LOST,Z_000_60_A_SAINT_EXUPERY_1943_27)
& has_nim49(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_attrib62(R_0060_0022__ANY_R_0060_0024__HABITATION,R_0060_0023__HUMAN)
& has_r_0060_0011__in_nim34(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)
& has_arg1(R_0060_0010__LOST,R_0060_0008__A_R_0060_0009__CHILD)
& ! [Z_000_60_A_SAINT_EXUPERY_1943_2,R_0060_0003__HIM] :
( ( r_0060_0003__him(R_0060_0003__HIM)
& z_000_60_a_saint_exupery_1943_2(Z_000_60_A_SAINT_EXUPERY_1943_2)
& has_r_0060_0002__about(Z_000_60_A_SAINT_EXUPERY_1943_2,R_0060_0003__HIM) )
=> ? [R_0060_0005__ANY_R_0060_0006__SUGGESTION,R_0060_0004__GAVE] :
( r_0060_0004__gave(R_0060_0004__GAVE)
& has_arg0(R_0060_0004__GAVE,Z_000_60_A_SAINT_EXUPERY_1943_2)
& 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) ) ) ) ).
( (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))