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_0202_0003___APOS_M_R_0202_0004__COOKING,R_0202_0002__I] :
( ( r_0202_0002__I(R_0202_0002__I)
& r_0202_0003___apos_m_r_0202_0004__cooking(R_0202_0003___APOS_M_R_0202_0004__COOKING)
& has_arg0(R_0202_0003___APOS_M_R_0202_0004__COOKING,R_0202_0002__I) )
=> ? [R_0202_0006__THE_R_0202_0007__DOOR,Z_000_202_A_TED_TALK_11_26,R_0202_0008__IS_R_0202_0009__SHUT,R_0202_0011__THE_R_0202_0012__KIDS,R_0202_0014__OUT,R_0202_0013__ARE,R_0202_0016__THE_R_0202_0017__PHONE,R_0202_0020__THE_R_0202_0021__HOOK,R_0202_0018___APOS_S,Z_000_202_A_TED_TALK_11_16] :
( r_0202_0006__the_r_0202_0007__door(R_0202_0006__THE_R_0202_0007__DOOR)
& r_0202_0011__the_r_0202_0012__kids(R_0202_0011__THE_R_0202_0012__KIDS)
& r_0202_0014__out(R_0202_0014__OUT)
& r_0202_0016__the_r_0202_0017__phone(R_0202_0016__THE_R_0202_0017__PHONE)
& r_0202_0020__the_r_0202_0021__hook(R_0202_0020__THE_R_0202_0021__HOOK)
& z_000_202_a_ted_talk_11_26(Z_000_202_A_TED_TALK_11_26)
& z_000_202_a_ted_talk_11_16(Z_000_202_A_TED_TALK_11_16)
& ! [R_0202_0025__COMES_R_0202_0026__IN,R_0202_0024__SHE] :
( ( r_0202_0024__she(R_0202_0024__SHE)
& r_0202_0025__comes_r_0202_0026__in(R_0202_0025__COMES_R_0202_0026__IN)
& has_arg0(R_0202_0025__COMES_R_0202_0026__IN,R_0202_0024__SHE) )
=> ? [Z_000_202_A_TED_TALK_11_84,R_0202_0028__GET_R_0202_0029__ANNOYED] :
( z_000_202_a_ted_talk_11_84(Z_000_202_A_TED_TALK_11_84)
& r_0202_0028__get_r_0202_0029__annoyed(R_0202_0028__GET_R_0202_0029__ANNOYED)
& has_arg0(R_0202_0028__GET_R_0202_0029__ANNOYED,Z_000_202_A_TED_TALK_11_84)
& has_arg1(R_0202_0028__GET_R_0202_0029__ANNOYED,R_0202_0002__I) ) )
& has_conj3(Z_000_202_A_TED_TALK_11_16,R_0202_0018___APOS_S)
& r_0202_0018___apos_s(R_0202_0018___APOS_S)
& has_r_0202_0019__on_clr58(R_0202_0018___APOS_S,R_0202_0020__THE_R_0202_0021__HOOK)
& has_arg0(R_0202_0018___APOS_S,R_0202_0016__THE_R_0202_0017__PHONE)
& has_conj2(Z_000_202_A_TED_TALK_11_16,R_0202_0013__ARE)
& r_0202_0013__are(R_0202_0013__ARE)
& has_clr41(R_0202_0013__ARE,R_0202_0014__OUT)
& has_arg0(R_0202_0013__ARE,R_0202_0011__THE_R_0202_0012__KIDS)
& has_conj1(Z_000_202_A_TED_TALK_11_16,R_0202_0008__IS_R_0202_0009__SHUT)
& r_0202_0008__is_r_0202_0009__shut(R_0202_0008__IS_R_0202_0009__SHUT)
& has_arg0(R_0202_0008__IS_R_0202_0009__SHUT,Z_000_202_A_TED_TALK_11_26)
& has_arg1(R_0202_0008__IS_R_0202_0009__SHUT,R_0202_0006__THE_R_0202_0007__DOOR) ) ) ).
( (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))