200_a_ted_talk_11
If my wife is cooking a meal at home -- which is not often, thankfully.
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_0013__not, r_0200_0014__often, clr39).
arc(r_0200_0012__is_r_0200_0013__not, r_0200_0016__thankfully, nim44).
arc(r_0200_0012__is_r_0200_0013__not, z_000_200_a_ted_talk_11_30, arg0).
fof(formula,axiom,
? [R_0200_0014__OFTEN,R_0200_0016__THANKFULLY,Z_000_200_A_TED_TALK_11_30,R_0200_0012__IS_R_0200_0013__NOT] :
( r_0200_0014__often(R_0200_0014__OFTEN)
& r_0200_0016__thankfully(R_0200_0016__THANKFULLY)
& z_000_200_a_ted_talk_11_30(Z_000_200_A_TED_TALK_11_30)
& ~ ( has_arg0(R_0200_0012__IS_R_0200_0013__NOT,Z_000_200_A_TED_TALK_11_30)
& has_nim44(R_0200_0012__IS_R_0200_0013__NOT,R_0200_0016__THANKFULLY)
& has_clr39(R_0200_0012__IS_R_0200_0013__NOT,R_0200_0014__OFTEN) )
& ! [R_0200_0004__IS_R_0200_0005__COOKING,R_0200_0002__MY,R_0200_0003__WIFE,R_0200_0006__A_R_0200_0007__MEAL,R_0200_0009__HOME] :
( ( r_0200_0002__my(R_0200_0002__MY)
& r_0200_0006__a_r_0200_0007__meal(R_0200_0006__A_R_0200_0007__MEAL)
& r_0200_0009__home(R_0200_0009__HOME)
& r_0200_0004__is_r_0200_0005__cooking(R_0200_0004__IS_R_0200_0005__COOKING)
& has_nim30(R_0200_0004__IS_R_0200_0005__COOKING,Z_000_200_A_TED_TALK_11_30)
& has_r_0200_0008__at_nim25(R_0200_0004__IS_R_0200_0005__COOKING,R_0200_0009__HOME)
& has_arg1(R_0200_0004__IS_R_0200_0005__COOKING,R_0200_0006__A_R_0200_0007__MEAL)
& has_arg0(R_0200_0004__IS_R_0200_0005__COOKING,R_0200_0003__WIFE)
& r_0200_0003__wife(R_0200_0003__WIFE)
& has_gen(R_0200_0003__WIFE,R_0200_0002__MY) )
=> ? [Z_000_200_A_TED_TALK_11_1] : z_000_200_a_ted_talk_11_1(Z_000_200_A_TED_TALK_11_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))