12_a_saint_exupery_1943
Why should any one be frightened by a hat?”
arc(r_0012_0002__should, r_0012_0005__be, scope).
arc(r_0012_0005__be, r_0012_0006__frightened, scope).
arc(r_0012_0006__frightened, r_0012_0001__Why, nim17).
arc(r_0012_0006__frightened, r_0012_0003__any_r_0012_0004__one, arg1).
arc(r_0012_0006__frightened, r_0012_0008__a_r_0012_0009__hat, arg0).
fof(formula,axiom,
? [R_12_2_SHOULD_BE_FRIGHTENED,R_12_8_A_HAT,R_12_3_ANY_ONE,R_12_1_WHY] :
( a_hat(R_12_8_A_HAT)
& any_one(R_12_3_ANY_ONE)
& why(R_12_1_WHY)
& should_be_frightened(R_12_2_SHOULD_BE_FRIGHTENED,R_12_8_A_HAT,R_12_3_ANY_ONE)
& nim17(R_12_2_SHOULD_BE_FRIGHTENED,R_12_1_WHY) ) ).
( (CP-QUE-MAT (IP-SUB (ADVP-146 (WADV Why;{why}))
(MD;_cat_Vi_ should;{shall})
(NP-SBJ (D any;{any})
(N one;{one}))
(IP-INF-CAT (BE;_cat_VePASS_ be;{be})
(IP-PPL-CAT (ADVP-NIM *ICH*-146)
(VVN;_Tn_ frightened;{frighten})
(PP-LGS (P-ROLE;_lgs_ by;{by})
(NP (D a;{a})
(N hat;{hat}))))))
(PUNC ?)
(PURQ <rdquo>))
(ID 12_a_saint_exupery_1943))