( (IP-MAT (PP-SCON (P-CONN When;{when})
                   (IP-ADV (NP-SBJ (D a;{a})
                                   (N mystery;{mystery}))
                           (BEP;_La_ is;{be})
                           (ADJP-PRD (ADVP (ADV too;{too}))
                                     (ADJ overpowering;{overpowering}))))
          (PUNC ,)
          (NP-SBJ (NUM one;{one}))
          (MD;_cat_Vi_ dare;{dare})
          (NEG not;{not})
          (IP-INF-CAT (VB;__ disobey;{disobey}))
          (PUNC .))
  (ID 63_a_saint_exupery_1943))

arc(r_0063_0001__When,r_0063_0004__is,restriction).
arc(r_0063_0001__When,r_0063_0010__not,scope).
arc(r_0063_0004__is,r_0063_0002__a_r_0063_0003__mystery,arg0).
arc(r_0063_0004__is,r_0063_0006__overpowering,prd).
arc(r_0063_0006__overpowering,r_0063_0005__too,qual).
arc(r_0063_0009__dare,r_0063_0011__disobey,scope).
arc(r_0063_0010__not,r_0063_0009__dare,keep_scope).
arc(r_0063_0011__disobey,r_0063_0008__one,arg0).

fof(formula,axiom,
    ! [R_0063_0004__IS,R_0063_0002__A_R_0063_0003__MYSTERY,R_0063_0005__TOO,R_0063_0006__OVERPOWERING] :
      ( ( r_0063_0002__a_r_0063_0003__mystery(R_0063_0002__A_R_0063_0003__MYSTERY)
        & r_0063_0005__too(R_0063_0005__TOO)
        & r_0063_0004__is(R_0063_0004__IS)
        & has_prd(R_0063_0004__IS,R_0063_0006__OVERPOWERING)
        & r_0063_0006__overpowering(R_0063_0006__OVERPOWERING)
        & has_qual(R_0063_0006__OVERPOWERING,R_0063_0005__TOO)
        & has_arg0(R_0063_0004__IS,R_0063_0002__A_R_0063_0003__MYSTERY) )
     => ~ ? [R_0063_0008__ONE,R_0063_0009__DARE_R_0063_0011__DISOBEY] :
            ( r_0063_0008__one(R_0063_0008__ONE)
            & r_0063_0009__dare_r_0063_0011__disobey(R_0063_0009__DARE_R_0063_0011__DISOBEY)
            & has_arg0(R_0063_0009__DARE_R_0063_0011__DISOBEY,R_0063_0008__ONE) ) ) ).