Context                Previous, Next                Top


63_a_saint_exupery_1943
When a mystery is too overpowering, one dare not disobey.

%3 r_0063_0001__When When r_0063_0004__is is r_0063_0001__When->r_0063_0004__is [restriction] r_0063_0010__not not r_0063_0001__When->r_0063_0010__not [scope] r_0063_0002__a_r_0063_0003__mystery a mystery r_0063_0004__is->r_0063_0002__a_r_0063_0003__mystery [arg0] r_0063_0006__overpowering overpowering r_0063_0004__is->r_0063_0006__overpowering [prd] r_0063_0009__dare dare r_0063_0010__not->r_0063_0009__dare [keep_scope] r_0063_0005__too too r_0063_0006__overpowering->r_0063_0005__too [qual] r_0063_0011__disobey disobey r_0063_0009__dare->r_0063_0011__disobey [scope] r_0063_0008__one one r_0063_0011__disobey->r_0063_0008__one [arg0] 
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).


%3 r_0063_0001__When When r_0063_0004__is is r_0063_0001__When->r_0063_0004__is [restriction] r_0063_0010__not not r_0063_0001__When->r_0063_0010__not [scope] r_0063_0002__a_r_0063_0003__mystery a mystery r_0063_0004__is->r_0063_0002__a_r_0063_0003__mystery [arg0] r_0063_0006__overpowering overpowering r_0063_0004__is->r_0063_0006__overpowering [prd] r_0063_0009__dare_r_0063_0011__disobey dare disobey r_0063_0010__not->r_0063_0009__dare_r_0063_0011__disobey [keep_scope] r_0063_0005__too too r_0063_0006__overpowering->r_0063_0005__too [qual] r_0063_0008__one one r_0063_0009__dare_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) ) ) ).


n63_a_saint_exupery_1943 n63_a_saint_exupery_1943_4 When n63_a_saint_exupery_1943_8 a n63_a_saint_exupery_1943_10 mystery n63_a_saint_exupery_1943_12 is n63_a_saint_exupery_1943_16 too n63_a_saint_exupery_1943_18 overpowering n63_a_saint_exupery_1943_20 , n63_a_saint_exupery_1943_23 one n63_a_saint_exupery_1943_25 dare n63_a_saint_exupery_1943_27 not n63_a_saint_exupery_1943_30 disobey n63_a_saint_exupery_1943_32 . n63_a_saint_exupery_1943_1 IP-MAT n63_a_saint_exupery_1943_2 PP-SCON n63_a_saint_exupery_1943_1->n63_a_saint_exupery_1943_2 n63_a_saint_exupery_1943_19 PUNC n63_a_saint_exupery_1943_1->n63_a_saint_exupery_1943_19 n63_a_saint_exupery_1943_21 NP-SBJ n63_a_saint_exupery_1943_1->n63_a_saint_exupery_1943_21 n63_a_saint_exupery_1943_24 MD;_cat_Vi_ n63_a_saint_exupery_1943_1->n63_a_saint_exupery_1943_24 n63_a_saint_exupery_1943_26 NEG n63_a_saint_exupery_1943_1->n63_a_saint_exupery_1943_26 n63_a_saint_exupery_1943_28 IP-INF-CAT n63_a_saint_exupery_1943_1->n63_a_saint_exupery_1943_28 n63_a_saint_exupery_1943_31 PUNC n63_a_saint_exupery_1943_1->n63_a_saint_exupery_1943_31 n63_a_saint_exupery_1943_3 P-CONN n63_a_saint_exupery_1943_2->n63_a_saint_exupery_1943_3 n63_a_saint_exupery_1943_5 IP-ADV n63_a_saint_exupery_1943_2->n63_a_saint_exupery_1943_5 n63_a_saint_exupery_1943_3->n63_a_saint_exupery_1943_4 n63_a_saint_exupery_1943_6 NP-SBJ n63_a_saint_exupery_1943_5->n63_a_saint_exupery_1943_6 n63_a_saint_exupery_1943_11 BEP;_La_ n63_a_saint_exupery_1943_5->n63_a_saint_exupery_1943_11 n63_a_saint_exupery_1943_13 ADJP-PRD n63_a_saint_exupery_1943_5->n63_a_saint_exupery_1943_13 n63_a_saint_exupery_1943_7 D n63_a_saint_exupery_1943_6->n63_a_saint_exupery_1943_7 n63_a_saint_exupery_1943_9 N n63_a_saint_exupery_1943_6->n63_a_saint_exupery_1943_9 n63_a_saint_exupery_1943_7->n63_a_saint_exupery_1943_8 n63_a_saint_exupery_1943_9->n63_a_saint_exupery_1943_10 n63_a_saint_exupery_1943_11->n63_a_saint_exupery_1943_12 n63_a_saint_exupery_1943_14 ADVP n63_a_saint_exupery_1943_13->n63_a_saint_exupery_1943_14 n63_a_saint_exupery_1943_17 ADJ n63_a_saint_exupery_1943_13->n63_a_saint_exupery_1943_17 n63_a_saint_exupery_1943_15 ADV n63_a_saint_exupery_1943_14->n63_a_saint_exupery_1943_15 n63_a_saint_exupery_1943_15->n63_a_saint_exupery_1943_16 n63_a_saint_exupery_1943_17->n63_a_saint_exupery_1943_18 n63_a_saint_exupery_1943_19->n63_a_saint_exupery_1943_20 n63_a_saint_exupery_1943_22 NUM n63_a_saint_exupery_1943_21->n63_a_saint_exupery_1943_22 n63_a_saint_exupery_1943_22->n63_a_saint_exupery_1943_23 n63_a_saint_exupery_1943_24->n63_a_saint_exupery_1943_25 n63_a_saint_exupery_1943_26->n63_a_saint_exupery_1943_27 n63_a_saint_exupery_1943_29 VB;__ n63_a_saint_exupery_1943_28->n63_a_saint_exupery_1943_29 n63_a_saint_exupery_1943_29->n63_a_saint_exupery_1943_30 n63_a_saint_exupery_1943_31->n63_a_saint_exupery_1943_32 
( (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))