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_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 [keep_scope] r_0099_0006__confirm confirm r_0099_0008__lest->r_0099_0006__confirm [conj2] 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->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_r_0099_0021__do that will do r_0099_0006__confirm->r_0099_0017__that_r_0099_0019__will_r_0099_0021__do [arg1] 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] r_0099_0022__so so r_0099_0017__that_r_0099_0019__will_r_0099_0021__do->r_0099_0022__so [clr] r_0099_0011__silence silence r_0099_0012__be_r_0099_0013__taken->r_0099_0011__silence [arg1] r_0099_0015__negative negative r_0099_0012__be_r_0099_0013__taken->r_0099_0015__negative [prd] z_000_99_a_hedgehog_38 r_0099_0012__be_r_0099_0013__taken->z_000_99_a_hedgehog_38 [arg0] r_0099_0011__silence->r_0099_0001__I [gen] r_0099_0010__customary customary r_0099_0011__silence->r_0099_0010__customary [attrib] 
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_4 I n99_a_hedgehog_6 think n99_a_hedgehog_11 I n99_a_hedgehog_13 had n99_a_hedgehog_17 better n99_a_hedgehog_19 confirm n99_a_hedgehog_21 , n99_a_hedgehog_24 lest n99_a_hedgehog_29 my n99_a_hedgehog_32 customary n99_a_hedgehog_34 silence n99_a_hedgehog_36 be n99_a_hedgehog_39 * n99_a_hedgehog_41 taken n99_a_hedgehog_44 as n99_a_hedgehog_47 negative n99_a_hedgehog_49 , n99_a_hedgehog_53 that n99_a_hedgehog_56 I n99_a_hedgehog_58 will n99_a_hedgehog_61 of_course n99_a_hedgehog_64 do n99_a_hedgehog_67 so n99_a_hedgehog_69 . n99_a_hedgehog_1 IP-MAT n99_a_hedgehog_2 NP-SBJ n99_a_hedgehog_1->n99_a_hedgehog_2 n99_a_hedgehog_5 VBP;_Tf_ n99_a_hedgehog_1->n99_a_hedgehog_5 n99_a_hedgehog_7 CP-THT-OB1 n99_a_hedgehog_1->n99_a_hedgehog_7 n99_a_hedgehog_68 PUNC n99_a_hedgehog_1->n99_a_hedgehog_68 n99_a_hedgehog_3 PRO n99_a_hedgehog_2->n99_a_hedgehog_3 n99_a_hedgehog_3->n99_a_hedgehog_4 n99_a_hedgehog_5->n99_a_hedgehog_6 n99_a_hedgehog_8 IP-SUB n99_a_hedgehog_7->n99_a_hedgehog_8 n99_a_hedgehog_9 NP-SBJ n99_a_hedgehog_8->n99_a_hedgehog_9 n99_a_hedgehog_12 HVD;_cat_Vi_ n99_a_hedgehog_8->n99_a_hedgehog_12 n99_a_hedgehog_14 IP-INF-CAT n99_a_hedgehog_8->n99_a_hedgehog_14 n99_a_hedgehog_10 PRO n99_a_hedgehog_9->n99_a_hedgehog_10 n99_a_hedgehog_10->n99_a_hedgehog_11 n99_a_hedgehog_12->n99_a_hedgehog_13 n99_a_hedgehog_15 ADVP-NIM n99_a_hedgehog_14->n99_a_hedgehog_15 n99_a_hedgehog_18 VB;_I_ n99_a_hedgehog_14->n99_a_hedgehog_18 n99_a_hedgehog_20 PUNC n99_a_hedgehog_14->n99_a_hedgehog_20 n99_a_hedgehog_22 PP-SCON n99_a_hedgehog_14->n99_a_hedgehog_22 n99_a_hedgehog_48 PUNC n99_a_hedgehog_14->n99_a_hedgehog_48 n99_a_hedgehog_50 CP-THT-OB1 n99_a_hedgehog_14->n99_a_hedgehog_50 n99_a_hedgehog_16 ADVR n99_a_hedgehog_15->n99_a_hedgehog_16 n99_a_hedgehog_16->n99_a_hedgehog_17 n99_a_hedgehog_18->n99_a_hedgehog_19 n99_a_hedgehog_20->n99_a_hedgehog_21 n99_a_hedgehog_23 P-CONN n99_a_hedgehog_22->n99_a_hedgehog_23 n99_a_hedgehog_25 IP-ADV n99_a_hedgehog_22->n99_a_hedgehog_25 n99_a_hedgehog_23->n99_a_hedgehog_24 n99_a_hedgehog_26 NP-SBJ n99_a_hedgehog_25->n99_a_hedgehog_26 n99_a_hedgehog_35 BE;_cat_VePASS_ n99_a_hedgehog_25->n99_a_hedgehog_35 n99_a_hedgehog_37 IP-PPL-CAT n99_a_hedgehog_25->n99_a_hedgehog_37 n99_a_hedgehog_27 NP-GEN n99_a_hedgehog_26->n99_a_hedgehog_27 n99_a_hedgehog_30 ADJP n99_a_hedgehog_26->n99_a_hedgehog_30 n99_a_hedgehog_33 N n99_a_hedgehog_26->n99_a_hedgehog_33 n99_a_hedgehog_28 PRO;_genm_ n99_a_hedgehog_27->n99_a_hedgehog_28 n99_a_hedgehog_28->n99_a_hedgehog_29 n99_a_hedgehog_31 ADJ n99_a_hedgehog_30->n99_a_hedgehog_31 n99_a_hedgehog_31->n99_a_hedgehog_32 n99_a_hedgehog_33->n99_a_hedgehog_34 n99_a_hedgehog_35->n99_a_hedgehog_36 n99_a_hedgehog_38 NP-LGS n99_a_hedgehog_37->n99_a_hedgehog_38 n99_a_hedgehog_40 VVN;_Cn.n/a_ n99_a_hedgehog_37->n99_a_hedgehog_40 n99_a_hedgehog_42 PP-PRD n99_a_hedgehog_37->n99_a_hedgehog_42 n99_a_hedgehog_38->n99_a_hedgehog_39 n99_a_hedgehog_40->n99_a_hedgehog_41 n99_a_hedgehog_43 P-ROLE n99_a_hedgehog_42->n99_a_hedgehog_43 n99_a_hedgehog_45 NP n99_a_hedgehog_42->n99_a_hedgehog_45 n99_a_hedgehog_43->n99_a_hedgehog_44 n99_a_hedgehog_46 N n99_a_hedgehog_45->n99_a_hedgehog_46 n99_a_hedgehog_46->n99_a_hedgehog_47 n99_a_hedgehog_48->n99_a_hedgehog_49 n99_a_hedgehog_51 IP-SUB n99_a_hedgehog_50->n99_a_hedgehog_51 n99_a_hedgehog_52 C n99_a_hedgehog_51->n99_a_hedgehog_52 n99_a_hedgehog_54 NP-SBJ n99_a_hedgehog_51->n99_a_hedgehog_54 n99_a_hedgehog_57 MD;_cat_Vi_ n99_a_hedgehog_51->n99_a_hedgehog_57 n99_a_hedgehog_59 ADVP-NIM n99_a_hedgehog_51->n99_a_hedgehog_59 n99_a_hedgehog_62 IP-INF-CAT n99_a_hedgehog_51->n99_a_hedgehog_62 n99_a_hedgehog_52->n99_a_hedgehog_53 n99_a_hedgehog_55 PRO n99_a_hedgehog_54->n99_a_hedgehog_55 n99_a_hedgehog_55->n99_a_hedgehog_56 n99_a_hedgehog_57->n99_a_hedgehog_58 n99_a_hedgehog_60 ADV n99_a_hedgehog_59->n99_a_hedgehog_60 n99_a_hedgehog_60->n99_a_hedgehog_61 n99_a_hedgehog_63 DOP n99_a_hedgehog_62->n99_a_hedgehog_63 n99_a_hedgehog_65 ADVP-CLR n99_a_hedgehog_62->n99_a_hedgehog_65 n99_a_hedgehog_63->n99_a_hedgehog_64 n99_a_hedgehog_66 ADV n99_a_hedgehog_65->n99_a_hedgehog_66 n99_a_hedgehog_66->n99_a_hedgehog_67 n99_a_hedgehog_68->n99_a_hedgehog_69 
( (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))