arc(r_0259_0001__And_r_0259_0004__is, r_0259_0003__task, arg0).
arc(r_0259_0001__And_r_0259_0004__is, r_0259_0005__to_r_0259_0006__educate, prd).
arc(r_0259_0003__task, r_0259_0002__our, gen).
arc(r_0259_0005__to_r_0259_0006__educate, r_0259_0009__being, arg1).
arc(r_0259_0005__to_r_0259_0006__educate, x_000_259_a_ted_talk_11_14, arg0).
arc(r_0259_0009__being, r_0259_0007__their, gen).
arc(r_0259_0009__being, r_0259_0008__whole, attrib23).
arc(r_0259_0013__can, r_0259_0011__so, nim32).
arc(r_0259_0013__can, r_0259_0014__face, scope).
arc(r_0259_0014__face, r_0259_0012__they, arg0).
arc(r_0259_0014__face, r_0259_0015__this_r_0259_0016__future, arg1).
arc(z_000_259_a_ted_talk_11_2, r_0259_0001__And_r_0259_0004__is, conj1).
arc(z_000_259_a_ted_talk_11_2, r_0259_0013__can, conj2).

fof(formula,axiom,
    ? [R_0259_0002__OUR,R_0259_0003__TASK,R_0259_0007__THEIR,R_0259_0008__WHOLE,R_0259_0009__BEING,X_000_259_A_TED_TALK_11_14,R_0259_0005__TO_R_0259_0006__EDUCATE,R_0259_0001__AND_R_0259_0004__IS,R_0259_0011__SO,R_0259_0012__THEY,R_0259_0015__THIS_R_0259_0016__FUTURE,R_0259_0013__CAN_R_0259_0014__FACE,Z_000_259_A_TED_TALK_11_2] :
      ( r_0259_0002__our(R_0259_0002__OUR)
      & r_0259_0007__their(R_0259_0007__THEIR)
      & r_0259_0008__whole(R_0259_0008__WHOLE)
      & r_0259_0011__so(R_0259_0011__SO)
      & r_0259_0012__they(R_0259_0012__THEY)
      & r_0259_0015__this_r_0259_0016__future(R_0259_0015__THIS_R_0259_0016__FUTURE)
      & x_000_259_a_ted_talk_11_14(X_000_259_A_TED_TALK_11_14)
      & z_000_259_a_ted_talk_11_2(Z_000_259_A_TED_TALK_11_2)
      & has_conj2(Z_000_259_A_TED_TALK_11_2,R_0259_0013__CAN_R_0259_0014__FACE)
      & r_0259_0013__can_r_0259_0014__face(R_0259_0013__CAN_R_0259_0014__FACE)
      & has_arg1(R_0259_0013__CAN_R_0259_0014__FACE,R_0259_0015__THIS_R_0259_0016__FUTURE)
      & has_arg0(R_0259_0013__CAN_R_0259_0014__FACE,R_0259_0012__THEY)
      & has_nim32(R_0259_0013__CAN_R_0259_0014__FACE,R_0259_0011__SO)
      & has_conj1(Z_000_259_A_TED_TALK_11_2,R_0259_0001__AND_R_0259_0004__IS)
      & r_0259_0001__And_r_0259_0004__is(R_0259_0001__AND_R_0259_0004__IS)
      & has_prd(R_0259_0001__AND_R_0259_0004__IS,R_0259_0005__TO_R_0259_0006__EDUCATE)
      & r_0259_0005__to_r_0259_0006__educate(R_0259_0005__TO_R_0259_0006__EDUCATE)
      & has_arg0(R_0259_0005__TO_R_0259_0006__EDUCATE,X_000_259_A_TED_TALK_11_14)
      & has_arg1(R_0259_0005__TO_R_0259_0006__EDUCATE,R_0259_0009__BEING)
      & r_0259_0009__being(R_0259_0009__BEING)
      & has_attrib23(R_0259_0009__BEING,R_0259_0008__WHOLE)
      & has_gen(R_0259_0009__BEING,R_0259_0007__THEIR)
      & has_arg0(R_0259_0001__AND_R_0259_0004__IS,R_0259_0003__TASK)
      & r_0259_0003__task(R_0259_0003__TASK)
      & has_gen(R_0259_0003__TASK,R_0259_0002__OUR) ) ).

( (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 259_a_ted_talk_11))