( (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))

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,nim).
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,r_0012_0007__by_arg0).

fof(formula,axiom,
    ? [R_0012_0001__WHY,R_0012_0003__ANY_R_0012_0004__ONE,R_0012_0008__A_R_0012_0009__HAT,R_0012_0002__SHOULD_R_0012_0005__BE_R_0012_0006__FRIGHTENED] :
      ( r_0012_0001__Why(R_0012_0001__WHY)
      & r_0012_0003__any_r_0012_0004__one(R_0012_0003__ANY_R_0012_0004__ONE)
      & r_0012_0008__a_r_0012_0009__hat(R_0012_0008__A_R_0012_0009__HAT)
      & r_0012_0002__should_r_0012_0005__be_r_0012_0006__frightened(R_0012_0002__SHOULD_R_0012_0005__BE_R_0012_0006__FRIGHTENED)
      & has_r_0012_0007__by_arg0(R_0012_0002__SHOULD_R_0012_0005__BE_R_0012_0006__FRIGHTENED,R_0012_0008__A_R_0012_0009__HAT)
      & has_arg1(R_0012_0002__SHOULD_R_0012_0005__BE_R_0012_0006__FRIGHTENED,R_0012_0003__ANY_R_0012_0004__ONE)
      & has_nim(R_0012_0002__SHOULD_R_0012_0005__BE_R_0012_0006__FRIGHTENED,R_0012_0001__WHY) ) ).