Context                Previous, Next                Top


200_a_ted_talk_11
If my wife is cooking a meal at home -- which is not often, thankfully.

%3 r_0200_0001__If If r_0200_0004__is is r_0200_0001__If->r_0200_0004__is [restriction] z_000_200_a_ted_talk_11_1 r_0200_0001__If->z_000_200_a_ted_talk_11_1 [scope] r_0200_0005__cooking cooking r_0200_0004__is->r_0200_0005__cooking [scope] r_0200_0003__wife wife r_0200_0002__my my r_0200_0003__wife->r_0200_0002__my [gen] r_0200_0005__cooking->r_0200_0003__wife [arg0] r_0200_0006__a_r_0200_0007__meal a meal r_0200_0005__cooking->r_0200_0006__a_r_0200_0007__meal [arg1] r_0200_0009__home home r_0200_0005__cooking->r_0200_0009__home at [nim] z_000_200_a_ted_talk_11_30 r_0200_0005__cooking->z_000_200_a_ted_talk_11_30 [nim] r_0200_0012__is is r_0200_0012__is->z_000_200_a_ted_talk_11_30 [arg0] r_0200_0014__often often r_0200_0012__is->r_0200_0014__often [clr] r_0200_0016__thankfully thankfully r_0200_0012__is->r_0200_0016__thankfully [nim] r_0200_0013__not not r_0200_0013__not->r_0200_0012__is [keep_scope] 
arc(r_0200_0001__If, r_0200_0004__is, restriction).
arc(r_0200_0001__If, z_000_200_a_ted_talk_11_1, scope).
arc(r_0200_0003__wife, r_0200_0002__my, gen).
arc(r_0200_0004__is, r_0200_0005__cooking, scope).
arc(r_0200_0005__cooking, r_0200_0003__wife, arg0).
arc(r_0200_0005__cooking, r_0200_0006__a_r_0200_0007__meal, arg1).
arc(r_0200_0005__cooking, r_0200_0009__home, r_0200_0008__at_nim25).
arc(r_0200_0005__cooking, z_000_200_a_ted_talk_11_30, nim30).
arc(r_0200_0012__is, r_0200_0014__often, clr39).
arc(r_0200_0012__is, r_0200_0016__thankfully, nim44).
arc(r_0200_0012__is, z_000_200_a_ted_talk_11_30, arg0).
arc(r_0200_0013__not, r_0200_0012__is, keep_scope).


%3 r_0200_0013__not not r_0200_0012__is is r_0200_0013__not->r_0200_0012__is [keep_scope] z_000_200_a_ted_talk_11_30 r_0200_0012__is->z_000_200_a_ted_talk_11_30 [arg0] r_0200_0016__thankfully thankfully r_0200_0012__is->r_0200_0016__thankfully [nim] r_0200_0014__often often r_0200_0012__is->r_0200_0014__often [clr] r_0200_0004__is_r_0200_0005__cooking is cooking r_0200_0004__is_r_0200_0005__cooking->z_000_200_a_ted_talk_11_30 [nim] r_0200_0009__home home r_0200_0004__is_r_0200_0005__cooking->r_0200_0009__home at [nim] r_0200_0006__a_r_0200_0007__meal a meal r_0200_0004__is_r_0200_0005__cooking->r_0200_0006__a_r_0200_0007__meal [arg1] r_0200_0003__wife wife r_0200_0004__is_r_0200_0005__cooking->r_0200_0003__wife [arg0] r_0200_0002__my my r_0200_0003__wife->r_0200_0002__my [gen] r_0200_0001__If If r_0200_0001__If->r_0200_0004__is_r_0200_0005__cooking [restriction] z_000_200_a_ted_talk_11_1 r_0200_0001__If->z_000_200_a_ted_talk_11_1 [scope] 
fof(formula,axiom,
    ( ! [R_200_4_IS_COOKING,R_200_3_WIFE,R_200_2_MY,R_200_6_A_MEAL,Z_200_A_TED_TALK_11_30,R_200_9_HOME] :
        ( ( my(R_200_2_MY)
          & a_meal(R_200_6_A_MEAL)
          & home(R_200_9_HOME)
          & is_cooking(R_200_4_IS_COOKING,R_200_3_WIFE,R_200_6_A_MEAL)
          & wife(R_200_3_WIFE)
          & gen(R_200_3_WIFE,R_200_2_MY)
          & nim30(R_200_4_IS_COOKING,Z_200_A_TED_TALK_11_30)
          & at_nim25(R_200_4_IS_COOKING,R_200_9_HOME) )
       => ? [Z_200_A_TED_TALK_11_1] : true )
    & ~ ? [R_200_12_IS,Z_200_A_TED_TALK_11_30,R_200_14_OFTEN,R_200_16_THANKFULLY] :
          ( often(R_200_14_OFTEN)
          & thankfully(R_200_16_THANKFULLY)
          & is(R_200_12_IS,Z_200_A_TED_TALK_11_30)
          & clr39(R_200_12_IS,R_200_14_OFTEN)
          & nim44(R_200_12_IS,R_200_16_THANKFULLY) ) ) ).


n200_a_ted_talk_11 n200_a_ted_talk_11__1_1_1_1 If n200_a_ted_talk_11__1_1_2_1_1_1_1 my n200_a_ted_talk_11__1_1_2_1_2_1 wife n200_a_ted_talk_11__1_1_2_2_1 is n200_a_ted_talk_11__1_1_2_3_1_1 cooking n200_a_ted_talk_11__1_1_2_3_2_1_1 a n200_a_ted_talk_11__1_1_2_3_2_2_1 meal n200_a_ted_talk_11__1_1_2_3_3_1_1 at n200_a_ted_talk_11__1_1_2_3_3_2_1_1 home n200_a_ted_talk_11__1_1_2_3_4_1 -- n200_a_ted_talk_11__1_1_2_3_5_1_1_1_1 which n200_a_ted_talk_11__1_1_2_3_5_1_2_1 is n200_a_ted_talk_11__1_1_2_3_5_1_3_1 not n200_a_ted_talk_11__1_1_2_3_5_1_4_1_1 often n200_a_ted_talk_11__1_1_2_3_5_1_5_1 , n200_a_ted_talk_11__1_1_2_3_5_1_6_1_1 thankfully n200_a_ted_talk_11__1_2_1 . n200_a_ted_talk_11__1 FRAG n200_a_ted_talk_11__1_1 PP-SCON n200_a_ted_talk_11__1->n200_a_ted_talk_11__1_1 n200_a_ted_talk_11__1_2 PUNC n200_a_ted_talk_11__1->n200_a_ted_talk_11__1_2 n200_a_ted_talk_11__1_1_1 P-CONN n200_a_ted_talk_11__1_1->n200_a_ted_talk_11__1_1_1 n200_a_ted_talk_11__1_1_2 IP-ADV n200_a_ted_talk_11__1_1->n200_a_ted_talk_11__1_1_2 n200_a_ted_talk_11__1_1_1->n200_a_ted_talk_11__1_1_1_1 n200_a_ted_talk_11__1_1_2_1 NP-SBJ n200_a_ted_talk_11__1_1_2->n200_a_ted_talk_11__1_1_2_1 n200_a_ted_talk_11__1_1_2_2 BEP;_cat_Vg_ n200_a_ted_talk_11__1_1_2->n200_a_ted_talk_11__1_1_2_2 n200_a_ted_talk_11__1_1_2_3 IP-PPL-CAT n200_a_ted_talk_11__1_1_2->n200_a_ted_talk_11__1_1_2_3 n200_a_ted_talk_11__1_1_2_1_1 NP-GEN n200_a_ted_talk_11__1_1_2_1->n200_a_ted_talk_11__1_1_2_1_1 n200_a_ted_talk_11__1_1_2_1_2 N n200_a_ted_talk_11__1_1_2_1->n200_a_ted_talk_11__1_1_2_1_2 n200_a_ted_talk_11__1_1_2_1_1_1 PRO;_genm_ n200_a_ted_talk_11__1_1_2_1_1->n200_a_ted_talk_11__1_1_2_1_1_1 n200_a_ted_talk_11__1_1_2_1_1_1->n200_a_ted_talk_11__1_1_2_1_1_1_1 n200_a_ted_talk_11__1_1_2_1_2->n200_a_ted_talk_11__1_1_2_1_2_1 n200_a_ted_talk_11__1_1_2_2->n200_a_ted_talk_11__1_1_2_2_1 n200_a_ted_talk_11__1_1_2_3_1 VAG;_Tn_ n200_a_ted_talk_11__1_1_2_3->n200_a_ted_talk_11__1_1_2_3_1 n200_a_ted_talk_11__1_1_2_3_2 NP-OB1 n200_a_ted_talk_11__1_1_2_3->n200_a_ted_talk_11__1_1_2_3_2 n200_a_ted_talk_11__1_1_2_3_3 PP-NIM n200_a_ted_talk_11__1_1_2_3->n200_a_ted_talk_11__1_1_2_3_3 n200_a_ted_talk_11__1_1_2_3_4 PUNC n200_a_ted_talk_11__1_1_2_3->n200_a_ted_talk_11__1_1_2_3_4 n200_a_ted_talk_11__1_1_2_3_5 NP-NIM n200_a_ted_talk_11__1_1_2_3->n200_a_ted_talk_11__1_1_2_3_5 n200_a_ted_talk_11__1_1_2_3_1->n200_a_ted_talk_11__1_1_2_3_1_1 n200_a_ted_talk_11__1_1_2_3_2_1 D n200_a_ted_talk_11__1_1_2_3_2->n200_a_ted_talk_11__1_1_2_3_2_1 n200_a_ted_talk_11__1_1_2_3_2_2 N n200_a_ted_talk_11__1_1_2_3_2->n200_a_ted_talk_11__1_1_2_3_2_2 n200_a_ted_talk_11__1_1_2_3_2_1->n200_a_ted_talk_11__1_1_2_3_2_1_1 n200_a_ted_talk_11__1_1_2_3_2_2->n200_a_ted_talk_11__1_1_2_3_2_2_1 n200_a_ted_talk_11__1_1_2_3_3_1 P-ROLE n200_a_ted_talk_11__1_1_2_3_3->n200_a_ted_talk_11__1_1_2_3_3_1 n200_a_ted_talk_11__1_1_2_3_3_2 NP n200_a_ted_talk_11__1_1_2_3_3->n200_a_ted_talk_11__1_1_2_3_3_2 n200_a_ted_talk_11__1_1_2_3_3_1->n200_a_ted_talk_11__1_1_2_3_3_1_1 n200_a_ted_talk_11__1_1_2_3_3_2_1 N n200_a_ted_talk_11__1_1_2_3_3_2->n200_a_ted_talk_11__1_1_2_3_3_2_1 n200_a_ted_talk_11__1_1_2_3_3_2_1->n200_a_ted_talk_11__1_1_2_3_3_2_1_1 n200_a_ted_talk_11__1_1_2_3_4->n200_a_ted_talk_11__1_1_2_3_4_1 n200_a_ted_talk_11__1_1_2_3_5_1 IP-REL n200_a_ted_talk_11__1_1_2_3_5->n200_a_ted_talk_11__1_1_2_3_5_1 n200_a_ted_talk_11__1_1_2_3_5_1_1 NP-SBJ n200_a_ted_talk_11__1_1_2_3_5_1->n200_a_ted_talk_11__1_1_2_3_5_1_1 n200_a_ted_talk_11__1_1_2_3_5_1_2 BEP;_Ip_ n200_a_ted_talk_11__1_1_2_3_5_1->n200_a_ted_talk_11__1_1_2_3_5_1_2 n200_a_ted_talk_11__1_1_2_3_5_1_3 NEG n200_a_ted_talk_11__1_1_2_3_5_1->n200_a_ted_talk_11__1_1_2_3_5_1_3 n200_a_ted_talk_11__1_1_2_3_5_1_4 ADVP-CLR n200_a_ted_talk_11__1_1_2_3_5_1->n200_a_ted_talk_11__1_1_2_3_5_1_4 n200_a_ted_talk_11__1_1_2_3_5_1_5 PUNC n200_a_ted_talk_11__1_1_2_3_5_1->n200_a_ted_talk_11__1_1_2_3_5_1_5 n200_a_ted_talk_11__1_1_2_3_5_1_6 ADVP-NIM n200_a_ted_talk_11__1_1_2_3_5_1->n200_a_ted_talk_11__1_1_2_3_5_1_6 n200_a_ted_talk_11__1_1_2_3_5_1_1_1 RPRO n200_a_ted_talk_11__1_1_2_3_5_1_1->n200_a_ted_talk_11__1_1_2_3_5_1_1_1 n200_a_ted_talk_11__1_1_2_3_5_1_1_1->n200_a_ted_talk_11__1_1_2_3_5_1_1_1_1 n200_a_ted_talk_11__1_1_2_3_5_1_2->n200_a_ted_talk_11__1_1_2_3_5_1_2_1 n200_a_ted_talk_11__1_1_2_3_5_1_3->n200_a_ted_talk_11__1_1_2_3_5_1_3_1 n200_a_ted_talk_11__1_1_2_3_5_1_4_1 ADV n200_a_ted_talk_11__1_1_2_3_5_1_4->n200_a_ted_talk_11__1_1_2_3_5_1_4_1 n200_a_ted_talk_11__1_1_2_3_5_1_4_1->n200_a_ted_talk_11__1_1_2_3_5_1_4_1_1 n200_a_ted_talk_11__1_1_2_3_5_1_5->n200_a_ted_talk_11__1_1_2_3_5_1_5_1 n200_a_ted_talk_11__1_1_2_3_5_1_6_1 ADV n200_a_ted_talk_11__1_1_2_3_5_1_6->n200_a_ted_talk_11__1_1_2_3_5_1_6_1 n200_a_ted_talk_11__1_1_2_3_5_1_6_1->n200_a_ted_talk_11__1_1_2_3_5_1_6_1_1 n200_a_ted_talk_11__1_2->n200_a_ted_talk_11__1_2_1 
( (FRAG (PP-SCON (P-CONN If;{if})
                 (IP-ADV (NP-SBJ;{TERRY} (NP-GEN (PRO;_genm_ my;{my}))
                                         (N wife;{wife}))
                         (BEP;_cat_Vg_ is;{be})
                         (IP-PPL-CAT (VAG;_Tn_ cooking;{cook})
                                     (NP-OB1 (D a;{a})
                                             (N meal;{meal}))
                                     (PP-NIM (P-ROLE at;{at})
                                             (NP (N home;{home})))
                                     (PUNC --)
                                     (NP-NIM (IP-REL (NP-SBJ (RPRO which;{which}))
                                                     (BEP;_Ip_ is;{be[often]})
                                                     (NEG not;{not})
                                                     (ADVP-CLR (ADV often;{often}))
                                                     (PUNC ,)
                                                     (ADVP-NIM (ADV thankfully;{thankfully})))))))
        (PUNC .))
  (ID 200_a_ted_talk_11))