( (IP-MAT (ILYR (ILYR (CONJ;_cl_ And;{and})
                      (NP-SBJ (NP-GEN (PRO;_genm_ our;{our}))
                              (N task;{task}))
                      (BEP;_equ_Vt_ is;{be})
                      (IP-INF-PRD (TO to;{to})
                                  (VB;_Tn_ educate;{educate})
                                  (NP-OB1 (NP-GEN;{CHILDREN} (PRO;_genm_ their;{their}))
                                          (ADJP (ADJ whole;{whole}))
                                          (N being;{being}))))
                (PUNC ,)
                (CONJP (ILYR (ADVP-NIM (ADV so;{so}))
                             (NP-SBJ;{CHILDREN} (PRO they;{they}))
                             (MD;_cat_Vi_ can;{can})
                             (IP-INF-CAT (VB;_Tn_ face;{face})
                                         (NP-OB1;{FUTURE} (D this;{this})
                                                          (N future;{future}))))))
          (PUNC .))
  (ID 258_a_ted_talk_11))

arc(r_0258_0003__task,r_0258_0002__our,gen).
arc(r_0258_0004__is,r_0258_0003__task,arg0).
arc(r_0258_0004__is,r_0258_0006__educate,prd).
arc(r_0258_0006__educate,r_0258_0009__being,arg1).
arc(r_0258_0006__educate,z_0258_5005,arg0).
arc(r_0258_0009__being,r_0258_0007__their,gen).
arc(r_0258_0009__being,r_0258_0008__whole,attrib).
arc(r_0258_0013__can,r_0258_0011__so,nim).
arc(r_0258_0013__can,r_0258_0014__face,scope).
arc(r_0258_0014__face,r_0258_0007__their,arg0).
arc(r_0258_0014__face,r_0258_0015__this_r_0258_0016__future,arg1).
arc(z_0258_5001,r_0258_0004__is,conj1).
arc(z_0258_5001,r_0258_0013__can,conj2).

fof(formula,axiom,
    ? [R_0258_0002__OUR,R_0258_0003__TASK,R_0258_0007__THEIR,R_0258_0008__WHOLE,R_0258_0009__BEING,Z_0258_5005,R_0258_0006__EDUCATE,R_0258_0004__IS,R_0258_0011__SO,R_0258_0015__THIS_R_0258_0016__FUTURE,R_0258_0013__CAN_R_0258_0014__FACE,Z_0258_5001] :
      ( r_0258_0002__our(R_0258_0002__OUR)
      & r_0258_0007__their(R_0258_0007__THEIR)
      & r_0258_0008__whole(R_0258_0008__WHOLE)
      & r_0258_0011__so(R_0258_0011__SO)
      & r_0258_0015__this_r_0258_0016__future(R_0258_0015__THIS_R_0258_0016__FUTURE)
      & z_0258_5005(Z_0258_5005)
      & z_0258_5001(Z_0258_5001)
      & has_conj2(Z_0258_5001,R_0258_0013__CAN_R_0258_0014__FACE)
      & r_0258_0013__can_r_0258_0014__face(R_0258_0013__CAN_R_0258_0014__FACE)
      & has_arg1(R_0258_0013__CAN_R_0258_0014__FACE,R_0258_0015__THIS_R_0258_0016__FUTURE)
      & has_arg0(R_0258_0013__CAN_R_0258_0014__FACE,R_0258_0007__THEIR)
      & has_nim(R_0258_0013__CAN_R_0258_0014__FACE,R_0258_0011__SO)
      & has_conj1(Z_0258_5001,R_0258_0004__IS)
      & r_0258_0004__is(R_0258_0004__IS)
      & has_prd(R_0258_0004__IS,R_0258_0006__EDUCATE)
      & r_0258_0006__educate(R_0258_0006__EDUCATE)
      & has_arg0(R_0258_0006__EDUCATE,Z_0258_5005)
      & has_arg1(R_0258_0006__EDUCATE,R_0258_0009__BEING)
      & r_0258_0009__being(R_0258_0009__BEING)
      & has_attrib(R_0258_0009__BEING,R_0258_0008__WHOLE)
      & has_gen(R_0258_0009__BEING,R_0258_0007__THEIR)
      & has_arg0(R_0258_0004__IS,R_0258_0003__TASK)
      & r_0258_0003__task(R_0258_0003__TASK)
      & has_gen(R_0258_0003__TASK,R_0258_0002__OUR) ) ).