TSPC 199_a_ted_talk

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

( (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 --)
                                     (IP-CAR (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 199_a_ted_talk_11))

arc(r_0199_0001__If,r_0199_0004__is,restriction).
arc(r_0199_0001__If,z_0199_5013,scope).
arc(r_0199_0003__wife,r_0199_0002__my,gen).
arc(r_0199_0004__is,r_0199_0005__cooking,scope).
arc(r_0199_0005__cooking,r_0199_0003__wife,arg0).
arc(r_0199_0005__cooking,r_0199_0006__a_r_0199_0007__meal,arg1).
arc(r_0199_0005__cooking,r_0199_0009__home,r_0199_0008__at__nim).
arc(r_0199_0005__cooking,z_0199_5009,nim).
arc(r_0199_0012__is_r_0199_0014__often,r_0199_0016__thankfully,nim).
arc(r_0199_0012__is_r_0199_0014__often,z_0199_5009,arg0).
arc(r_0199_0013__not,r_0199_0012__is_r_0199_0014__often,keep_scope).

fof(formula,axiom,
    ( ~ ? [R_0199_0016__THANKFULLY,Z_0199_5009,R_0199_0012__IS_R_0199_0014__OFTEN] :
          ( r_0199_0016__thankfully(R_0199_0016__THANKFULLY)
          & z_0199_5009(Z_0199_5009)
          & r_0199_0012__is_r_0199_0014__often(R_0199_0012__IS_R_0199_0014__OFTEN)
          & has_arg0(R_0199_0012__IS_R_0199_0014__OFTEN,Z_0199_5009)
          & has_nim(R_0199_0012__IS_R_0199_0014__OFTEN,R_0199_0016__THANKFULLY) )
    & ! [R_0199_0004__IS_R_0199_0005__COOKING,R_0199_0002__MY,R_0199_0003__WIFE,R_0199_0006__A_R_0199_0007__MEAL,R_0199_0009__HOME,Z_0199_5009] :
        ( ( r_0199_0002__my(R_0199_0002__MY)
          & r_0199_0006__a_r_0199_0007__meal(R_0199_0006__A_R_0199_0007__MEAL)
          & r_0199_0009__home(R_0199_0009__HOME)
          & z_0199_5009(Z_0199_5009)
          & r_0199_0004__is_r_0199_0005__cooking(R_0199_0004__IS_R_0199_0005__COOKING)
          & has_nim(R_0199_0004__IS_R_0199_0005__COOKING,Z_0199_5009)
          & has_r_0199_0008__at__nim(R_0199_0004__IS_R_0199_0005__COOKING,R_0199_0009__HOME)
          & has_arg1(R_0199_0004__IS_R_0199_0005__COOKING,R_0199_0006__A_R_0199_0007__MEAL)
          & has_arg0(R_0199_0004__IS_R_0199_0005__COOKING,R_0199_0003__WIFE)
          & r_0199_0003__wife(R_0199_0003__WIFE)
          & has_gen(R_0199_0003__WIFE,R_0199_0002__MY) )
       => ? [Z_0199_5013] : z_0199_5013(Z_0199_5013) ) ) ).