202_a_ted_talk_11
If I'm cooking, the door is shut, the kids are out, the phone's on the hook, if she comes in I get annoyed.
arc(r_0202_0001__If, r_0202_0003___apos_m, restriction).
arc(r_0202_0001__If, z_000_202_a_ted_talk_11_16, scope).
arc(r_0202_0003___apos_m, r_0202_0004__cooking, scope).
arc(r_0202_0004__cooking, r_0202_0002__I, arg0).
arc(r_0202_0008__is, r_0202_0009__shut, scope).
arc(r_0202_0009__shut, r_0202_0006__the_r_0202_0007__door, arg1).
arc(r_0202_0009__shut, z_000_202_a_ted_talk_11_26, arg0).
arc(r_0202_0013__are, r_0202_0011__the_r_0202_0012__kids, arg0).
arc(r_0202_0013__are, r_0202_0014__out, clr41).
arc(r_0202_0018___apos_s, r_0202_0016__the_r_0202_0017__phone, arg0).
arc(r_0202_0018___apos_s, r_0202_0020__the_r_0202_0021__hook, r_0202_0019__on_clr58).
arc(r_0202_0023__if, r_0202_0025__comes_r_0202_0026__in, restriction).
arc(r_0202_0023__if, r_0202_0028__get, scope).
arc(r_0202_0025__comes_r_0202_0026__in, r_0202_0024__she, arg0).
arc(r_0202_0028__get, r_0202_0029__annoyed, scope).
arc(r_0202_0029__annoyed, r_0202_0002__I, arg1).
arc(r_0202_0029__annoyed, z_000_202_a_ted_talk_11_84, arg0).
arc(z_000_202_a_ted_talk_11_16, r_0202_0008__is, conj1).
arc(z_000_202_a_ted_talk_11_16, r_0202_0013__are, conj2).
arc(z_000_202_a_ted_talk_11_16, r_0202_0018___apos_s, conj3).
arc(z_000_202_a_ted_talk_11_16, r_0202_0023__if, conj4).
fof(formula,axiom,
! [R_202_3__APOS_M_COOKING,R_202_2_I] :
( ( i(R_202_2_I)
& _apos_m_cooking(R_202_3__APOS_M_COOKING,R_202_2_I) )
=> ? [Z_202_A_TED_TALK_11_16,R_202_8_IS_SHUT,Z_202_A_TED_TALK_11_26,R_202_6_THE_DOOR,R_202_13_ARE,R_202_11_THE_KIDS,R_202_14_OUT,R_202_18__APOS_S,R_202_16_THE_PHONE,R_202_20_THE_HOOK] :
( the_door(R_202_6_THE_DOOR)
& the_kids(R_202_11_THE_KIDS)
& out(R_202_14_OUT)
& the_phone(R_202_16_THE_PHONE)
& the_hook(R_202_20_THE_HOOK)
& ! [R_202_25_COMES_IN,R_202_24_SHE] :
( ( she(R_202_24_SHE)
& comes_in(R_202_25_COMES_IN,R_202_24_SHE) )
=> ? [R_202_28_GET_ANNOYED,Z_202_A_TED_TALK_11_84] : get_annoyed(R_202_28_GET_ANNOYED,Z_202_A_TED_TALK_11_84,R_202_2_I) )
& conj4(CONJ4)
& z_202_a_ted_talk_11_16(Z_202_A_TED_TALK_11_16)
& conj1(Z_202_A_TED_TALK_11_16,R_202_8_IS_SHUT)
& is_shut(R_202_8_IS_SHUT,Z_202_A_TED_TALK_11_26,R_202_6_THE_DOOR)
& conj2(Z_202_A_TED_TALK_11_16,R_202_13_ARE)
& are(R_202_13_ARE,R_202_11_THE_KIDS)
& clr41(R_202_13_ARE,R_202_14_OUT)
& conj3(Z_202_A_TED_TALK_11_16,R_202_18__APOS_S)
& _apos_s(R_202_18__APOS_S,R_202_16_THE_PHONE)
& on_clr58(R_202_18__APOS_S,R_202_20_THE_HOOK) ) ) ).
( (IP-MAT (PP-SCON (P-CONN If;{if})
(IP-ADV (NP-SBJ (PRO I;{I}))
(BEP;_cat_Vg_ <apos>m;{be})
(IP-PPL-CAT (VAG;__ cooking;{cook}))))
(PUNC ,)
(ILYR (ILYR (NP-SBJ (D the;{the})
(N door;{door}))
(BEP;_cat_VePASS_ is;{be})
(IP-PPL-CAT (NP-LGS *)
(VVN;__ shut;{shut})))
(PUNC ,)
(CONJP (ILYR (NP-SBJ (D the;{the})
(NS kids;{kid}))
(BEP;_Ip_ are;{be})
(ADVP-CLR (RP out;{out}))))
(PUNC ,)
(CONJP (ILYR (NP-SBJ (D the;{the})
(N phone;{phone}))
(BEP;_Ipr_ <apos>s;{be[on]})
(PP-CLR (P-ROLE on;{on})
(NP (D the;{the})
(N hook;{hook})))))
(PUNC ,)
(CONJP (ILYR (PP-SCON (P-CONN if;{if})
(IP-ADV (NP-SBJ;{TERRY} (PRO she;{she}))
(VBP;__ comes;{come})
(RP in;{in})))
(NP-SBJ (PRO I;{I}))
(VBP;_cat_VePASS_ get;{get})
(IP-PPL-CAT (NP-LGS *)
(VVN;__ annoyed;{annoy})))))
(PUNC .))
(ID 202_a_ted_talk_11))