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_60_10_LOST,Z_60_A_SAINT_EXUPERY_1943_27,R_60_8_A_CHILD,R_60_18_A_THOUSAND_MILES,R_60_22_ANY_HABITATION,R_60_23_HUMAN,R_60_12_THE_MIDDLE,R_60_15_THE_DESERT] :
( a_child(R_60_8_A_CHILD)
& human(R_60_23_HUMAN)
& the_desert(R_60_15_THE_DESERT)
& ! [Z_60_A_SAINT_EXUPERY_1943_2,R_60_3_HIM] :
( ( him(R_60_3_HIM)
& z_60_a_saint_exupery_1943_2(Z_60_A_SAINT_EXUPERY_1943_2)
& about(Z_60_A_SAINT_EXUPERY_1943_2,R_60_3_HIM) )
=> ? [R_60_4_GAVE,R_60_5_ANY_SUGGESTION] :
( gave(R_60_4_GAVE,Z_60_A_SAINT_EXUPERY_1943_2,R_60_5_ANY_SUGGESTION)
& any_suggestion(R_60_5_ANY_SUGGESTION)
& of(R_60_5_ANY_SUGGESTION,R_60_8_A_CHILD) ) )
& lost(R_60_10_LOST,Z_60_A_SAINT_EXUPERY_1943_27,R_60_8_A_CHILD)
& nim49(R_60_10_LOST,R_60_18_A_THOUSAND_MILES)
& a_thousand_miles(R_60_18_A_THOUSAND_MILES)
& from(R_60_18_A_THOUSAND_MILES,R_60_22_ANY_HABITATION)
& any_habitation(R_60_22_ANY_HABITATION)
& attrib62(R_60_22_ANY_HABITATION,R_60_23_HUMAN)
& in_nim34(R_60_10_LOST,R_60_12_THE_MIDDLE)
& the_middle(R_60_12_THE_MIDDLE)
& of(R_60_12_THE_MIDDLE,R_60_15_THE_DESERT) ) ).
( (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))