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, qual14).
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_63_4_IS,R_63_2_A_MYSTERY,R_63_6_OVERPOWERING,R_63_5_TOO] :
      ( ( a_mystery(R_63_2_A_MYSTERY)
        & too(R_63_5_TOO)
        & is(R_63_4_IS,R_63_2_A_MYSTERY,R_63_6_OVERPOWERING)
        & overpowering(R_63_6_OVERPOWERING)
        & qual14(R_63_6_OVERPOWERING,R_63_5_TOO) )
     => ~ ? [R_63_9_DARE_DISOBEY,R_63_8_ONE] :
            ( one(R_63_8_ONE)
            & dare_disobey(R_63_9_DARE_DISOBEY,R_63_8_ONE) ) ) ).

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