201_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.
( (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 201_a_ted_talk_11))
arc(r_0201_0001__If,r_0201_0003___apos_m,restriction).
arc(r_0201_0001__If,z_0201_5005,scope).
arc(r_0201_0003___apos_m,r_0201_0004__cooking,scope).
arc(r_0201_0004__cooking,r_0201_0002__I,arg0).
arc(r_0201_0008__is,r_0201_0009__shut,scope).
arc(r_0201_0009__shut,r_0201_0006__the_r_0201_0007__door,arg1).
arc(r_0201_0009__shut,z_0201_5008___star_,arg0).
arc(r_0201_0013__are_r_0201_0014__out,r_0201_0011__the_r_0201_0012__kids,arg0).
arc(r_0201_0018___apos_s_r_0201_0019__on,r_0201_0016__the_r_0201_0017__phone,arg0).
arc(r_0201_0018___apos_s_r_0201_0019__on,r_0201_0020__the_r_0201_0021__hook,arg1).
arc(r_0201_0023__if,r_0201_0025__comes_r_0201_0026__in,restriction).
arc(r_0201_0023__if,r_0201_0028__get,scope).
arc(r_0201_0025__comes_r_0201_0026__in,r_0201_0024__she,arg0).
arc(r_0201_0028__get,r_0201_0029__annoyed,scope).
arc(r_0201_0029__annoyed,r_0201_0027__I,arg1).
arc(r_0201_0029__annoyed,z_0201_5020___star_,arg0).
arc(z_0201_5005,r_0201_0008__is,conj1).
arc(z_0201_5005,r_0201_0013__are_r_0201_0014__out,conj2).
arc(z_0201_5005,r_0201_0018___apos_s_r_0201_0019__on,conj3).
arc(z_0201_5005,r_0201_0023__if,conj4).
fof(formula,axiom,
! [R_0201_0003___APOS_M_R_0201_0004__COOKING,R_0201_0002__I] :
( ( r_0201_0002__I(R_0201_0002__I)
& r_0201_0003___apos_m_r_0201_0004__cooking(R_0201_0003___APOS_M_R_0201_0004__COOKING)
& has_arg0(R_0201_0003___APOS_M_R_0201_0004__COOKING,R_0201_0002__I) )
=> ? [R_0201_0006__THE_R_0201_0007__DOOR,Z_0201_5008___STAR_,R_0201_0008__IS_R_0201_0009__SHUT,R_0201_0011__THE_R_0201_0012__KIDS,R_0201_0013__ARE_R_0201_0014__OUT,R_0201_0016__THE_R_0201_0017__PHONE,R_0201_0020__THE_R_0201_0021__HOOK,R_0201_0018___APOS_S_R_0201_0019__ON,Z_0201_5005] :
( r_0201_0006__the_r_0201_0007__door(R_0201_0006__THE_R_0201_0007__DOOR)
& r_0201_0011__the_r_0201_0012__kids(R_0201_0011__THE_R_0201_0012__KIDS)
& r_0201_0016__the_r_0201_0017__phone(R_0201_0016__THE_R_0201_0017__PHONE)
& r_0201_0020__the_r_0201_0021__hook(R_0201_0020__THE_R_0201_0021__HOOK)
& z_0201_5008___star_(Z_0201_5008___STAR_)
& z_0201_5005(Z_0201_5005)
& ! [R_0201_0025__COMES_R_0201_0026__IN,R_0201_0024__SHE] :
( ( r_0201_0024__she(R_0201_0024__SHE)
& r_0201_0025__comes_r_0201_0026__in(R_0201_0025__COMES_R_0201_0026__IN)
& has_arg0(R_0201_0025__COMES_R_0201_0026__IN,R_0201_0024__SHE) )
=> ? [R_0201_0027__I,Z_0201_5020___STAR_,R_0201_0028__GET_R_0201_0029__ANNOYED] :
( r_0201_0027__I(R_0201_0027__I)
& z_0201_5020___star_(Z_0201_5020___STAR_)
& r_0201_0028__get_r_0201_0029__annoyed(R_0201_0028__GET_R_0201_0029__ANNOYED)
& has_arg0(R_0201_0028__GET_R_0201_0029__ANNOYED,Z_0201_5020___STAR_)
& has_arg1(R_0201_0028__GET_R_0201_0029__ANNOYED,R_0201_0027__I) ) )
& has_conj3(Z_0201_5005,R_0201_0018___APOS_S_R_0201_0019__ON)
& r_0201_0018___apos_s_r_0201_0019__on(R_0201_0018___APOS_S_R_0201_0019__ON)
& has_arg1(R_0201_0018___APOS_S_R_0201_0019__ON,R_0201_0020__THE_R_0201_0021__HOOK)
& has_arg0(R_0201_0018___APOS_S_R_0201_0019__ON,R_0201_0016__THE_R_0201_0017__PHONE)
& has_conj2(Z_0201_5005,R_0201_0013__ARE_R_0201_0014__OUT)
& r_0201_0013__are_r_0201_0014__out(R_0201_0013__ARE_R_0201_0014__OUT)
& has_arg0(R_0201_0013__ARE_R_0201_0014__OUT,R_0201_0011__THE_R_0201_0012__KIDS)
& has_conj1(Z_0201_5005,R_0201_0008__IS_R_0201_0009__SHUT)
& r_0201_0008__is_r_0201_0009__shut(R_0201_0008__IS_R_0201_0009__SHUT)
& has_arg0(R_0201_0008__IS_R_0201_0009__SHUT,Z_0201_5008___STAR_)
& has_arg1(R_0201_0008__IS_R_0201_0009__SHUT,R_0201_0006__THE_R_0201_0007__DOOR) ) ) ).