( (IP-MAT (NP-SBJ (PRO They;{they}))
          (ADVP-NIM (ADV all;{all}))
          (VBD;_Ipr_ came;{come[into]})
          (PP-CLR (P-ROLE into;{into})
                  (NP (N being;{being})))
          (PP-SCON (IP-INF (TO to;{to})
                           (VB;_Tn_ meet;{meet})
                           (NP-OB1 (D the;{the})
                                   (NS needs;{need})
                                   (PP (P-ROLE of;{of})
                                       (NP (N industrialism;{industrialism}))))))
          (PUNC .))
  (ID 162_a_ted_talk_11))

arc(r_0162_0003__came_r_0162_0004__into,r_0162_0001__They,arg0).
arc(r_0162_0003__came_r_0162_0004__into,r_0162_0002__all,nim).
arc(r_0162_0003__came_r_0162_0004__into,r_0162_0005__being,arg1).
arc(r_0162_0007__meet,r_0162_0005__being,arg0).
arc(r_0162_0007__meet,r_0162_0008__the_r_0162_0009__needs,arg1).
arc(r_0162_0008__the_r_0162_0009__needs,r_0162_0011__industrialism,r_0162_0010__of).
arc(z_0162_5002,r_0162_0003__came_r_0162_0004__into,scope).
arc(z_0162_5002,r_0162_0007__meet,restriction).

fof(formula,axiom,
    ? [R_0162_0001__THEY,R_0162_0002__ALL,R_0162_0005__BEING,R_0162_0003__CAME_R_0162_0004__INTO,R_0162_0011__INDUSTRIALISM,R_0162_0008__THE_R_0162_0009__NEEDS,R_0162_0007__MEET,Z_0162_5002] :
      ( r_0162_0001__They(R_0162_0001__THEY)
      & r_0162_0002__all(R_0162_0002__ALL)
      & r_0162_0005__being(R_0162_0005__BEING)
      & r_0162_0011__industrialism(R_0162_0011__INDUSTRIALISM)
      & z_0162_5002(Z_0162_5002)
      & has_conj1(Z_0162_5002,R_0162_0007__MEET)
      & r_0162_0007__meet(R_0162_0007__MEET)
      & has_arg1(R_0162_0007__MEET,R_0162_0008__THE_R_0162_0009__NEEDS)
      & r_0162_0008__the_r_0162_0009__needs(R_0162_0008__THE_R_0162_0009__NEEDS)
      & has_r_0162_0010__of(R_0162_0008__THE_R_0162_0009__NEEDS,R_0162_0011__INDUSTRIALISM)
      & has_arg0(R_0162_0007__MEET,R_0162_0005__BEING)
      & has_conj2(Z_0162_5002,R_0162_0003__CAME_R_0162_0004__INTO)
      & r_0162_0003__came_r_0162_0004__into(R_0162_0003__CAME_R_0162_0004__INTO)
      & has_arg1(R_0162_0003__CAME_R_0162_0004__INTO,R_0162_0005__BEING)
      & has_nim(R_0162_0003__CAME_R_0162_0004__INTO,R_0162_0002__ALL)
      & has_arg0(R_0162_0003__CAME_R_0162_0004__INTO,R_0162_0001__THEY) ) ).