Context                Previous, Next                Top


99_a_hedgehog
I think I had better confirm, lest my customary silence be taken as negative, that I will of course do so.

%3 r_0099_0002__think think r_0099_0001__I I r_0099_0002__think->r_0099_0001__I [arg0] r_0099_0004__had had r_0099_0002__think->r_0099_0004__had [arg1] r_0099_0008__lest lest r_0099_0004__had->r_0099_0008__lest [scope] r_0099_0006__confirm confirm r_0099_0008__lest->r_0099_0006__confirm [scope] r_0099_0012__be be r_0099_0008__lest->r_0099_0012__be [restriction] r_0099_0006__confirm->r_0099_0001__I [arg0] r_0099_0005__better better r_0099_0006__confirm->r_0099_0005__better [nim] r_0099_0017__that_r_0099_0019__will that will r_0099_0006__confirm->r_0099_0017__that_r_0099_0019__will [arg1] r_0099_0020__of_course of course r_0099_0017__that_r_0099_0019__will->r_0099_0020__of_course [nim] r_0099_0021__do do r_0099_0017__that_r_0099_0019__will->r_0099_0021__do [scope] r_0099_0013__taken taken r_0099_0012__be->r_0099_0013__taken [scope] r_0099_0011__silence silence r_0099_0011__silence->r_0099_0001__I [gen] r_0099_0010__customary customary r_0099_0011__silence->r_0099_0010__customary [attrib] r_0099_0013__taken->r_0099_0011__silence [arg1] r_0099_0015__negative negative r_0099_0013__taken->r_0099_0015__negative [prd] z_000_99_a_hedgehog_38 r_0099_0013__taken->z_000_99_a_hedgehog_38 [arg0] r_0099_0021__do->r_0099_0001__I [arg0] r_0099_0022__so so r_0099_0021__do->r_0099_0022__so [clr] 
arc(r_0099_0002__think, r_0099_0001__I, arg0).
arc(r_0099_0002__think, r_0099_0004__had, arg1).
arc(r_0099_0004__had, r_0099_0008__lest, scope).
arc(r_0099_0006__confirm, r_0099_0001__I, arg0).
arc(r_0099_0006__confirm, r_0099_0005__better, nim15).
arc(r_0099_0006__confirm, r_0099_0017__that_r_0099_0019__will, arg1).
arc(r_0099_0008__lest, r_0099_0006__confirm, scope).
arc(r_0099_0008__lest, r_0099_0012__be, restriction).
arc(r_0099_0011__silence, r_0099_0001__I, gen).
arc(r_0099_0011__silence, r_0099_0010__customary, attrib30).
arc(r_0099_0012__be, r_0099_0013__taken, scope).
arc(r_0099_0013__taken, r_0099_0011__silence, arg1).
arc(r_0099_0013__taken, r_0099_0015__negative, prd).
arc(r_0099_0013__taken, z_000_99_a_hedgehog_38, arg0).
arc(r_0099_0017__that_r_0099_0019__will, r_0099_0020__of_course, nim59).
arc(r_0099_0017__that_r_0099_0019__will, r_0099_0021__do, scope).
arc(r_0099_0021__do, r_0099_0001__I, arg0).
arc(r_0099_0021__do, r_0099_0022__so, clr65).


%3 r_0099_0004__had had r_0099_0008__lest lest r_0099_0004__had->r_0099_0008__lest [keep_scope] r_0099_0012__be_r_0099_0013__taken be taken r_0099_0008__lest->r_0099_0012__be_r_0099_0013__taken [conj1] r_0099_0006__confirm confirm r_0099_0008__lest->r_0099_0006__confirm [conj2] r_0099_0017__that_r_0099_0019__will_r_0099_0021__do that will do r_0099_0022__so so r_0099_0017__that_r_0099_0019__will_r_0099_0021__do->r_0099_0022__so [clr] r_0099_0001__I I r_0099_0017__that_r_0099_0019__will_r_0099_0021__do->r_0099_0001__I [arg0] r_0099_0020__of_course of course r_0099_0017__that_r_0099_0019__will_r_0099_0021__do->r_0099_0020__of_course [nim] z_000_99_a_hedgehog_38 r_0099_0012__be_r_0099_0013__taken->z_000_99_a_hedgehog_38 [arg0] r_0099_0015__negative negative r_0099_0012__be_r_0099_0013__taken->r_0099_0015__negative [prd] r_0099_0011__silence silence r_0099_0012__be_r_0099_0013__taken->r_0099_0011__silence [arg1] r_0099_0011__silence->r_0099_0001__I [gen] r_0099_0010__customary customary r_0099_0011__silence->r_0099_0010__customary [attrib] r_0099_0006__confirm->r_0099_0017__that_r_0099_0019__will_r_0099_0021__do [arg1] r_0099_0006__confirm->r_0099_0001__I [arg0] r_0099_0005__better better r_0099_0006__confirm->r_0099_0005__better [nim] r_0099_0002__think think r_0099_0002__think->r_0099_0004__had [arg1] r_0099_0002__think->r_0099_0001__I [arg0] 
fof(formula,axiom,
    ? [R_99_2_THINK,R_99_1_I] :
      ( i(R_99_1_I)
      & think(R_99_2_THINK,R_99_1_I,R_99_4_HAD)
      & ~ ? [R_99_8_LEST,R_99_12_BE_TAKEN,Z_99_A_HEDGEHOG_38,R_99_11_SILENCE,R_99_10_CUSTOMARY,R_99_15_NEGATIVE,R_99_6_CONFIRM,R_99_17_THAT_WILL_DO,R_99_22_SO,R_99_20_OF_COURSE,R_99_5_BETTER] :
            ( customary(R_99_10_CUSTOMARY)
            & negative(R_99_15_NEGATIVE)
            & so(R_99_22_SO)
            & of_course(R_99_20_OF_COURSE)
            & better(R_99_5_BETTER)
            & lest(R_99_8_LEST)
            & conj1(R_99_8_LEST,R_99_12_BE_TAKEN)
            & be_taken(R_99_12_BE_TAKEN,Z_99_A_HEDGEHOG_38,R_99_11_SILENCE,R_99_15_NEGATIVE)
            & silence(R_99_11_SILENCE)
            & attrib30(R_99_11_SILENCE,R_99_10_CUSTOMARY)
            & gen(R_99_11_SILENCE,R_99_1_I)
            & conj2(R_99_8_LEST,R_99_6_CONFIRM)
            & confirm(R_99_6_CONFIRM,R_99_1_I,R_99_17_THAT_WILL_DO)
            & that_will_do(R_99_17_THAT_WILL_DO,R_99_1_I)
            & clr65(R_99_17_THAT_WILL_DO,R_99_22_SO)
            & nim59(R_99_17_THAT_WILL_DO,R_99_20_OF_COURSE)
            & nim15(R_99_6_CONFIRM,R_99_5_BETTER) ) ) ).


n99_a_hedgehog n99_a_hedgehog__1_1_1_1 I n99_a_hedgehog__1_2_1 think n99_a_hedgehog__1_3_1_1_1_1 I n99_a_hedgehog__1_3_1_2_1 had n99_a_hedgehog__1_3_1_3_1_1_1 better n99_a_hedgehog__1_3_1_3_2_1 confirm n99_a_hedgehog__1_3_1_3_3_1 , n99_a_hedgehog__1_3_1_3_4_1_1 lest n99_a_hedgehog__1_3_1_3_4_2_1_1_1_1 my n99_a_hedgehog__1_3_1_3_4_2_1_2_1_1 customary n99_a_hedgehog__1_3_1_3_4_2_1_3_1 silence n99_a_hedgehog__1_3_1_3_4_2_2_1 be n99_a_hedgehog__1_3_1_3_4_2_3_1_1 * n99_a_hedgehog__1_3_1_3_4_2_3_2_1 taken n99_a_hedgehog__1_3_1_3_4_2_3_3_1_1 as n99_a_hedgehog__1_3_1_3_4_2_3_3_2_1_1 negative n99_a_hedgehog__1_3_1_3_5_1 , n99_a_hedgehog__1_3_1_3_6_1_1_1 that n99_a_hedgehog__1_3_1_3_6_1_2_1_1 I n99_a_hedgehog__1_3_1_3_6_1_3_1 will n99_a_hedgehog__1_3_1_3_6_1_4_1_1 of_course n99_a_hedgehog__1_3_1_3_6_1_5_1_1 do n99_a_hedgehog__1_3_1_3_6_1_5_2_1_1 so n99_a_hedgehog__1_4_1 . n99_a_hedgehog__1 IP-MAT n99_a_hedgehog__1_1 NP-SBJ n99_a_hedgehog__1->n99_a_hedgehog__1_1 n99_a_hedgehog__1_2 VBP;_Tf_ n99_a_hedgehog__1->n99_a_hedgehog__1_2 n99_a_hedgehog__1_3 CP-THT-OB1 n99_a_hedgehog__1->n99_a_hedgehog__1_3 n99_a_hedgehog__1_4 PUNC n99_a_hedgehog__1->n99_a_hedgehog__1_4 n99_a_hedgehog__1_1_1 PRO n99_a_hedgehog__1_1->n99_a_hedgehog__1_1_1 n99_a_hedgehog__1_1_1->n99_a_hedgehog__1_1_1_1 n99_a_hedgehog__1_2->n99_a_hedgehog__1_2_1 n99_a_hedgehog__1_3_1 IP-SUB n99_a_hedgehog__1_3->n99_a_hedgehog__1_3_1 n99_a_hedgehog__1_3_1_1 NP-SBJ n99_a_hedgehog__1_3_1->n99_a_hedgehog__1_3_1_1 n99_a_hedgehog__1_3_1_2 HVD;_cat_Vi_ n99_a_hedgehog__1_3_1->n99_a_hedgehog__1_3_1_2 n99_a_hedgehog__1_3_1_3 IP-INF-CAT n99_a_hedgehog__1_3_1->n99_a_hedgehog__1_3_1_3 n99_a_hedgehog__1_3_1_1_1 PRO n99_a_hedgehog__1_3_1_1->n99_a_hedgehog__1_3_1_1_1 n99_a_hedgehog__1_3_1_1_1->n99_a_hedgehog__1_3_1_1_1_1 n99_a_hedgehog__1_3_1_2->n99_a_hedgehog__1_3_1_2_1 n99_a_hedgehog__1_3_1_3_1 ADVP-NIM n99_a_hedgehog__1_3_1_3->n99_a_hedgehog__1_3_1_3_1 n99_a_hedgehog__1_3_1_3_2 VB;_I_ n99_a_hedgehog__1_3_1_3->n99_a_hedgehog__1_3_1_3_2 n99_a_hedgehog__1_3_1_3_3 PUNC n99_a_hedgehog__1_3_1_3->n99_a_hedgehog__1_3_1_3_3 n99_a_hedgehog__1_3_1_3_4 PP-SCON n99_a_hedgehog__1_3_1_3->n99_a_hedgehog__1_3_1_3_4 n99_a_hedgehog__1_3_1_3_5 PUNC n99_a_hedgehog__1_3_1_3->n99_a_hedgehog__1_3_1_3_5 n99_a_hedgehog__1_3_1_3_6 CP-THT-OB1 n99_a_hedgehog__1_3_1_3->n99_a_hedgehog__1_3_1_3_6 n99_a_hedgehog__1_3_1_3_1_1 ADVR n99_a_hedgehog__1_3_1_3_1->n99_a_hedgehog__1_3_1_3_1_1 n99_a_hedgehog__1_3_1_3_1_1->n99_a_hedgehog__1_3_1_3_1_1_1 n99_a_hedgehog__1_3_1_3_2->n99_a_hedgehog__1_3_1_3_2_1 n99_a_hedgehog__1_3_1_3_3->n99_a_hedgehog__1_3_1_3_3_1 n99_a_hedgehog__1_3_1_3_4_1 P-CONN n99_a_hedgehog__1_3_1_3_4->n99_a_hedgehog__1_3_1_3_4_1 n99_a_hedgehog__1_3_1_3_4_2 IP-ADV n99_a_hedgehog__1_3_1_3_4->n99_a_hedgehog__1_3_1_3_4_2 n99_a_hedgehog__1_3_1_3_4_1->n99_a_hedgehog__1_3_1_3_4_1_1 n99_a_hedgehog__1_3_1_3_4_2_1 NP-SBJ n99_a_hedgehog__1_3_1_3_4_2->n99_a_hedgehog__1_3_1_3_4_2_1 n99_a_hedgehog__1_3_1_3_4_2_2 BE;_cat_VePASS_ n99_a_hedgehog__1_3_1_3_4_2->n99_a_hedgehog__1_3_1_3_4_2_2 n99_a_hedgehog__1_3_1_3_4_2_3 IP-PPL-CAT n99_a_hedgehog__1_3_1_3_4_2->n99_a_hedgehog__1_3_1_3_4_2_3 n99_a_hedgehog__1_3_1_3_4_2_1_1 NP-GEN n99_a_hedgehog__1_3_1_3_4_2_1->n99_a_hedgehog__1_3_1_3_4_2_1_1 n99_a_hedgehog__1_3_1_3_4_2_1_2 ADJP n99_a_hedgehog__1_3_1_3_4_2_1->n99_a_hedgehog__1_3_1_3_4_2_1_2 n99_a_hedgehog__1_3_1_3_4_2_1_3 N n99_a_hedgehog__1_3_1_3_4_2_1->n99_a_hedgehog__1_3_1_3_4_2_1_3 n99_a_hedgehog__1_3_1_3_4_2_1_1_1 PRO;_genm_ n99_a_hedgehog__1_3_1_3_4_2_1_1->n99_a_hedgehog__1_3_1_3_4_2_1_1_1 n99_a_hedgehog__1_3_1_3_4_2_1_1_1->n99_a_hedgehog__1_3_1_3_4_2_1_1_1_1 n99_a_hedgehog__1_3_1_3_4_2_1_2_1 ADJ n99_a_hedgehog__1_3_1_3_4_2_1_2->n99_a_hedgehog__1_3_1_3_4_2_1_2_1 n99_a_hedgehog__1_3_1_3_4_2_1_2_1->n99_a_hedgehog__1_3_1_3_4_2_1_2_1_1 n99_a_hedgehog__1_3_1_3_4_2_1_3->n99_a_hedgehog__1_3_1_3_4_2_1_3_1 n99_a_hedgehog__1_3_1_3_4_2_2->n99_a_hedgehog__1_3_1_3_4_2_2_1 n99_a_hedgehog__1_3_1_3_4_2_3_1 NP-LGS n99_a_hedgehog__1_3_1_3_4_2_3->n99_a_hedgehog__1_3_1_3_4_2_3_1 n99_a_hedgehog__1_3_1_3_4_2_3_2 VVN;_Cn.n/a_ n99_a_hedgehog__1_3_1_3_4_2_3->n99_a_hedgehog__1_3_1_3_4_2_3_2 n99_a_hedgehog__1_3_1_3_4_2_3_3 PP-PRD n99_a_hedgehog__1_3_1_3_4_2_3->n99_a_hedgehog__1_3_1_3_4_2_3_3 n99_a_hedgehog__1_3_1_3_4_2_3_1->n99_a_hedgehog__1_3_1_3_4_2_3_1_1 n99_a_hedgehog__1_3_1_3_4_2_3_2->n99_a_hedgehog__1_3_1_3_4_2_3_2_1 n99_a_hedgehog__1_3_1_3_4_2_3_3_1 P-ROLE n99_a_hedgehog__1_3_1_3_4_2_3_3->n99_a_hedgehog__1_3_1_3_4_2_3_3_1 n99_a_hedgehog__1_3_1_3_4_2_3_3_2 NP n99_a_hedgehog__1_3_1_3_4_2_3_3->n99_a_hedgehog__1_3_1_3_4_2_3_3_2 n99_a_hedgehog__1_3_1_3_4_2_3_3_1->n99_a_hedgehog__1_3_1_3_4_2_3_3_1_1 n99_a_hedgehog__1_3_1_3_4_2_3_3_2_1 N n99_a_hedgehog__1_3_1_3_4_2_3_3_2->n99_a_hedgehog__1_3_1_3_4_2_3_3_2_1 n99_a_hedgehog__1_3_1_3_4_2_3_3_2_1->n99_a_hedgehog__1_3_1_3_4_2_3_3_2_1_1 n99_a_hedgehog__1_3_1_3_5->n99_a_hedgehog__1_3_1_3_5_1 n99_a_hedgehog__1_3_1_3_6_1 IP-SUB n99_a_hedgehog__1_3_1_3_6->n99_a_hedgehog__1_3_1_3_6_1 n99_a_hedgehog__1_3_1_3_6_1_1 C n99_a_hedgehog__1_3_1_3_6_1->n99_a_hedgehog__1_3_1_3_6_1_1 n99_a_hedgehog__1_3_1_3_6_1_2 NP-SBJ n99_a_hedgehog__1_3_1_3_6_1->n99_a_hedgehog__1_3_1_3_6_1_2 n99_a_hedgehog__1_3_1_3_6_1_3 MD;_cat_Vi_ n99_a_hedgehog__1_3_1_3_6_1->n99_a_hedgehog__1_3_1_3_6_1_3 n99_a_hedgehog__1_3_1_3_6_1_4 ADVP-NIM n99_a_hedgehog__1_3_1_3_6_1->n99_a_hedgehog__1_3_1_3_6_1_4 n99_a_hedgehog__1_3_1_3_6_1_5 IP-INF-CAT n99_a_hedgehog__1_3_1_3_6_1->n99_a_hedgehog__1_3_1_3_6_1_5 n99_a_hedgehog__1_3_1_3_6_1_1->n99_a_hedgehog__1_3_1_3_6_1_1_1 n99_a_hedgehog__1_3_1_3_6_1_2_1 PRO n99_a_hedgehog__1_3_1_3_6_1_2->n99_a_hedgehog__1_3_1_3_6_1_2_1 n99_a_hedgehog__1_3_1_3_6_1_2_1->n99_a_hedgehog__1_3_1_3_6_1_2_1_1 n99_a_hedgehog__1_3_1_3_6_1_3->n99_a_hedgehog__1_3_1_3_6_1_3_1 n99_a_hedgehog__1_3_1_3_6_1_4_1 ADV n99_a_hedgehog__1_3_1_3_6_1_4->n99_a_hedgehog__1_3_1_3_6_1_4_1 n99_a_hedgehog__1_3_1_3_6_1_4_1->n99_a_hedgehog__1_3_1_3_6_1_4_1_1 n99_a_hedgehog__1_3_1_3_6_1_5_1 DOP n99_a_hedgehog__1_3_1_3_6_1_5->n99_a_hedgehog__1_3_1_3_6_1_5_1 n99_a_hedgehog__1_3_1_3_6_1_5_2 ADVP-CLR n99_a_hedgehog__1_3_1_3_6_1_5->n99_a_hedgehog__1_3_1_3_6_1_5_2 n99_a_hedgehog__1_3_1_3_6_1_5_1->n99_a_hedgehog__1_3_1_3_6_1_5_1_1 n99_a_hedgehog__1_3_1_3_6_1_5_2_1 ADV n99_a_hedgehog__1_3_1_3_6_1_5_2->n99_a_hedgehog__1_3_1_3_6_1_5_2_1 n99_a_hedgehog__1_3_1_3_6_1_5_2_1->n99_a_hedgehog__1_3_1_3_6_1_5_2_1_1 n99_a_hedgehog__1_4->n99_a_hedgehog__1_4_1 
( (IP-MAT (NP-SBJ (PRO I;{I}))
          (VBP;_Tf_ think;{think})
          (CP-THT-OB1 (IP-SUB (NP-SBJ (PRO I;{I}))
                              (HVD;_cat_Vi_ had;{have})
                              (IP-INF-CAT (ADVP-NIM (ADVR better;{well}))
                                          (VB;_I_ confirm;{confirm})
                                          (PUNC ,)
                                          (PP-SCON (P-CONN lest;{lest})
                                                   (IP-ADV (NP-SBJ (NP-GEN (PRO;_genm_ my;{my}))
                                                                   (ADJP (ADJ customary;{customary}))
                                                                   (N silence;{silence}))
                                                           (BE;_cat_VePASS_ be;{be})
                                                           (IP-PPL-CAT (NP-LGS *)
                                                                       (VVN;_Cn.n/a_ taken;{take[as]})
                                                                       (PP-PRD (P-ROLE as;{as})
                                                                               (NP (N negative;{negative}))))))
                                          (PUNC ,)
                                          (CP-THT-OB1 (IP-SUB (C that;{that})
                                                              (NP-SBJ (PRO I;{I}))
                                                              (MD;_cat_Vi_ will;{will})
                                                              (ADVP-NIM (ADV of_course;{of_course}))
                                                              (IP-INF-CAT (DOP do;{do})
                                                                          (ADVP-CLR (ADV so;{so}))))))))
          (PUNC .))
  (ID 99_a_hedgehog;speaker=Laing))