( (IP-MAT (ILYR (CONJ;_cl_ But;{but})
                (ADVP-NIM (ADV now;{now}))
                (NP-SBJ (NS kids;{kid})
                        (PP (P-ROLE with;{with})
                            (NP (NS degrees;{degree}))))
                (BEP;_cat_Vg_ are;{be})
                (IP-PPL-CAT (ADVP-NIM (ADV often;{often}))
                            (VAG;_Ip_ heading;{head[home]})
                            (ADVP-CLR (RP home;{home})))
                (PP-SCON (IP-INF (TO to;{to})
                                 (VB;_phr_Vp.g_ carry;{carry[on]})
                                 (RP on;{on})
                                 (IP-PPL-OB1 (VAG;_Tn_ playing;{play})
                                             (NP-OB1 (N video;{video})
                                                     (NS games;{game}))))))
          (PUNC ,)
          (PP-SCON (P-CONN because;{because})
                   (IP-ADV (ILYR (ILYR (NP-SBJ (PRO you;{you}))
                                       (VBP;_Tn_ need;{need})
                                       (NP-OB1 (D an;{an})
                                               (N MA;{ma}))
                                       (IP-CAR (ADVP-NIM (RADV where;{where}))
                                               (NP-SBJ (D the;{the})
                                                       (ADJP (ADJ previous;{previous}))
                                                       (N job;{job}))
                                               (VBD;_Tn_ required;{require})
                                               (NP-OB1 (D a;{a})
                                                       (N BA;{ba}))))
                                 (PUNC ,)
                                 (CONJP (CONJ and;{and})
                                        (ILYR (ADVP-NIM (ADV now;{now}))
                                              (NP-SBJ (PRO you;{you}))
                                              (VBP;_Tn_ need;{need})
                                              (NP-OB1 (D a;{a})
                                                      (N PhD;{phd}))
                                              (PP-NIM (P-ROLE for;{for})
                                                      (NP (D the;{the})
                                                          (ADJP (ADJ other;{other})))))))))
          (PUNC .))
  (ID 181_a_ted_talk_11))

arc(r_0181_0003__kids,r_0181_0005__degrees,r_0181_0004__with).
arc(r_0181_0006__are,r_0181_0002__now,nim).
arc(r_0181_0006__are,r_0181_0008__heading_r_0181_0009__home,scope).
arc(r_0181_0008__heading_r_0181_0009__home,r_0181_0003__kids,arg0).
arc(r_0181_0008__heading_r_0181_0009__home,r_0181_0007__often,nim).
arc(r_0181_0011__carry_r_0181_0012__on,r_0181_0003__kids,arg0).
arc(r_0181_0011__carry_r_0181_0012__on,r_0181_0013__playing,arg1).
arc(r_0181_0013__playing,r_0181_0003__kids,arg0).
arc(r_0181_0013__playing,r_0181_0014__video_r_0181_0015__games,arg1).
arc(r_0181_0017__because,r_0181_0030__and,restriction).
arc(r_0181_0017__because,z_0181_5020,scope).
arc(r_0181_0019__need,r_0181_0018__you,arg0).
arc(r_0181_0019__need,r_0181_0020__an_r_0181_0021__MA,arg1).
arc(r_0181_0019__need,z_0181_5008,nim).
arc(r_0181_0023__the_r_0181_0025__job,r_0181_0024__previous,attrib).
arc(r_0181_0026__required,r_0181_0023__the_r_0181_0025__job,arg0).
arc(r_0181_0026__required,r_0181_0027__a_r_0181_0028__BA,arg1).
arc(r_0181_0026__required,z_0181_5008,nim).
arc(r_0181_0030__and,r_0181_0019__need,conj1).
arc(r_0181_0030__and,r_0181_0033__need,conj2).
arc(r_0181_0033__need,r_0181_0018__you,arg0).
arc(r_0181_0033__need,r_0181_0031__now,nim).
arc(r_0181_0033__need,r_0181_0034__a_r_0181_0035__PhD,arg1).
arc(r_0181_0033__need,r_0181_0037__the,r_0181_0036__for__nim).
arc(r_0181_0037__the,r_0181_0038__other,attrib).
arc(z_0181_5020,r_0181_0006__are,scope).
arc(z_0181_5020,r_0181_0011__carry_r_0181_0012__on,restriction).

fof(formula,axiom,
    ? [R_0181_0018__YOU,R_0181_0020__AN_R_0181_0021__MA,Z_0181_5008,R_0181_0019__NEED,R_0181_0031__NOW,R_0181_0034__A_R_0181_0035__PHD,R_0181_0038__OTHER,R_0181_0037__THE,R_0181_0033__NEED,R_0181_0030__AND,R_0181_0002__NOW,R_0181_0005__DEGREES,R_0181_0003__KIDS,R_0181_0007__OFTEN,R_0181_0006__ARE_R_0181_0008__HEADING_R_0181_0009__HOME,R_0181_0014__VIDEO_R_0181_0015__GAMES,R_0181_0013__PLAYING,R_0181_0011__CARRY_R_0181_0012__ON,Z_0181_5020,R_0181_0017__BECAUSE,R_0181_0024__PREVIOUS,R_0181_0023__THE_R_0181_0025__JOB,R_0181_0027__A_R_0181_0028__BA,R_0181_0026__REQUIRED] :
      ( r_0181_0002__now(R_0181_0002__NOW)
      & r_0181_0005__degrees(R_0181_0005__DEGREES)
      & r_0181_0007__often(R_0181_0007__OFTEN)
      & r_0181_0014__video_r_0181_0015__games(R_0181_0014__VIDEO_R_0181_0015__GAMES)
      & r_0181_0018__you(R_0181_0018__YOU)
      & r_0181_0020__an_r_0181_0021__MA(R_0181_0020__AN_R_0181_0021__MA)
      & r_0181_0024__previous(R_0181_0024__PREVIOUS)
      & r_0181_0027__a_r_0181_0028__BA(R_0181_0027__A_R_0181_0028__BA)
      & r_0181_0031__now(R_0181_0031__NOW)
      & r_0181_0034__a_r_0181_0035__PhD(R_0181_0034__A_R_0181_0035__PHD)
      & r_0181_0038__other(R_0181_0038__OTHER)
      & z_0181_5008(Z_0181_5008)
      & r_0181_0026__required(R_0181_0026__REQUIRED)
      & has_nim(R_0181_0026__REQUIRED,Z_0181_5008)
      & has_arg1(R_0181_0026__REQUIRED,R_0181_0027__A_R_0181_0028__BA)
      & has_arg0(R_0181_0026__REQUIRED,R_0181_0023__THE_R_0181_0025__JOB)
      & r_0181_0023__the_r_0181_0025__job(R_0181_0023__THE_R_0181_0025__JOB)
      & has_attrib(R_0181_0023__THE_R_0181_0025__JOB,R_0181_0024__PREVIOUS)
      & r_0181_0017__because(R_0181_0017__BECAUSE)
      & has_conj2(R_0181_0017__BECAUSE,Z_0181_5020)
      & z_0181_5020(Z_0181_5020)
      & has_conj1(Z_0181_5020,R_0181_0011__CARRY_R_0181_0012__ON)
      & r_0181_0011__carry_r_0181_0012__on(R_0181_0011__CARRY_R_0181_0012__ON)
      & has_arg1(R_0181_0011__CARRY_R_0181_0012__ON,R_0181_0013__PLAYING)
      & r_0181_0013__playing(R_0181_0013__PLAYING)
      & has_arg1(R_0181_0013__PLAYING,R_0181_0014__VIDEO_R_0181_0015__GAMES)
      & has_arg0(R_0181_0013__PLAYING,R_0181_0003__KIDS)
      & r_0181_0003__kids(R_0181_0003__KIDS)
      & has_r_0181_0004__with(R_0181_0003__KIDS,R_0181_0005__DEGREES)
      & has_arg0(R_0181_0011__CARRY_R_0181_0012__ON,R_0181_0003__KIDS)
      & has_conj2(Z_0181_5020,R_0181_0006__ARE_R_0181_0008__HEADING_R_0181_0009__HOME)
      & r_0181_0006__are_r_0181_0008__heading_r_0181_0009__home(R_0181_0006__ARE_R_0181_0008__HEADING_R_0181_0009__HOME)
      & has_nim(R_0181_0006__ARE_R_0181_0008__HEADING_R_0181_0009__HOME,R_0181_0007__OFTEN)
      & has_arg0(R_0181_0006__ARE_R_0181_0008__HEADING_R_0181_0009__HOME,R_0181_0003__KIDS)
      & has_nim(R_0181_0006__ARE_R_0181_0008__HEADING_R_0181_0009__HOME,R_0181_0002__NOW)
      & has_conj1(R_0181_0017__BECAUSE,R_0181_0030__AND)
      & r_0181_0030__and(R_0181_0030__AND)
      & has_conj2(R_0181_0030__AND,R_0181_0033__NEED)
      & r_0181_0033__need(R_0181_0033__NEED)
      & has_r_0181_0036__for__nim(R_0181_0033__NEED,R_0181_0037__THE)
      & r_0181_0037__the(R_0181_0037__THE)
      & has_attrib(R_0181_0037__THE,R_0181_0038__OTHER)
      & has_arg1(R_0181_0033__NEED,R_0181_0034__A_R_0181_0035__PHD)
      & has_nim(R_0181_0033__NEED,R_0181_0031__NOW)
      & has_arg0(R_0181_0033__NEED,R_0181_0018__YOU)
      & has_conj1(R_0181_0030__AND,R_0181_0019__NEED)
      & r_0181_0019__need(R_0181_0019__NEED)
      & has_nim(R_0181_0019__NEED,Z_0181_5008)
      & has_arg1(R_0181_0019__NEED,R_0181_0020__AN_R_0181_0021__MA)
      & has_arg0(R_0181_0019__NEED,R_0181_0018__YOU) ) ).