148_a_ted_talk_11
They're just a form of life, another form of life.

%3 r_0148_0002___apos_re 're r_0148_0001__They They r_0148_0002___apos_re->r_0148_0001__They [arg0] r_0148_0003__just just r_0148_0002___apos_re->r_0148_0003__just [nim] r_0148_0004__a_r_0148_0005__form a form r_0148_0002___apos_re->r_0148_0004__a_r_0148_0005__form [prd] r_0148_0007__life life r_0148_0004__a_r_0148_0005__form->r_0148_0007__life of r_0148_0009__another_r_0148_0010__form another form r_0148_0012__life life r_0148_0009__another_r_0148_0010__form->r_0148_0012__life of z_000_148_a_ted_talk_11_23 z_000_148_a_ted_talk_11_23->r_0148_0007__life [arg0] z_000_148_a_ted_talk_11_23->r_0148_0009__another_r_0148_0010__form [prd]
arc(r_0148_0002___apos_re, r_0148_0001__They, arg0).
arc(r_0148_0002___apos_re, r_0148_0003__just, nim7).
arc(r_0148_0002___apos_re, r_0148_0004__a_r_0148_0005__form, prd).
arc(r_0148_0004__a_r_0148_0005__form, r_0148_0007__life, r_0148_0006__of).
arc(r_0148_0009__another_r_0148_0010__form, r_0148_0012__life, r_0148_0011__of).
arc(z_000_148_a_ted_talk_11_23, r_0148_0007__life, arg0).
arc(z_000_148_a_ted_talk_11_23, r_0148_0009__another_r_0148_0010__form, prd).



%3 z_000_148_a_ted_talk_11_23 r_0148_0009__another_r_0148_0010__form another form z_000_148_a_ted_talk_11_23->r_0148_0009__another_r_0148_0010__form [prd] r_0148_0007__life life z_000_148_a_ted_talk_11_23->r_0148_0007__life [arg0] r_0148_0012__life life r_0148_0009__another_r_0148_0010__form->r_0148_0012__life of r_0148_0004__a_r_0148_0005__form a form r_0148_0004__a_r_0148_0005__form->r_0148_0007__life of r_0148_0002___apos_re 're r_0148_0002___apos_re->r_0148_0004__a_r_0148_0005__form [prd] r_0148_0003__just just r_0148_0002___apos_re->r_0148_0003__just [nim] r_0148_0001__They They r_0148_0002___apos_re->r_0148_0001__They [arg0]
fof(formula,axiom,
    ? [R_0148_0001__THEY,R_0148_0003__JUST,R_0148_0007__LIFE,R_0148_0004__A_R_0148_0005__FORM,R_0148_0002___APOS_RE,R_0148_0012__LIFE,R_0148_0009__ANOTHER_R_0148_0010__FORM,Z_000_148_A_TED_TALK_11_23] :
      ( r_0148_0001__They(R_0148_0001__THEY)
      & r_0148_0003__just(R_0148_0003__JUST)
      & r_0148_0007__life(R_0148_0007__LIFE)
      & r_0148_0012__life(R_0148_0012__LIFE)
      & z_000_148_a_ted_talk_11_23(Z_000_148_A_TED_TALK_11_23)
      & has_prd(Z_000_148_A_TED_TALK_11_23,R_0148_0009__ANOTHER_R_0148_0010__FORM)
      & r_0148_0009__another_r_0148_0010__form(R_0148_0009__ANOTHER_R_0148_0010__FORM)
      & has_r_0148_0011__of(R_0148_0009__ANOTHER_R_0148_0010__FORM,R_0148_0012__LIFE)
      & has_arg0(Z_000_148_A_TED_TALK_11_23,R_0148_0007__LIFE)
      & r_0148_0002___apos_re(R_0148_0002___APOS_RE)
      & has_prd(R_0148_0002___APOS_RE,R_0148_0004__A_R_0148_0005__FORM)
      & r_0148_0004__a_r_0148_0005__form(R_0148_0004__A_R_0148_0005__FORM)
      & has_r_0148_0006__of(R_0148_0004__A_R_0148_0005__FORM,R_0148_0007__LIFE)
      & has_nim7(R_0148_0002___APOS_RE,R_0148_0003__JUST)
      & has_arg0(R_0148_0002___APOS_RE,R_0148_0001__THEY) ) ).



n148_a_ted_talk_11 n148_a_ted_talk_11__1_1_1_1 They n148_a_ted_talk_11__1_2_1 're n148_a_ted_talk_11__1_3_1_1 just n148_a_ted_talk_11__1_4_1_1 a n148_a_ted_talk_11__1_4_2_1 form n148_a_ted_talk_11__1_4_3_1_1 of n148_a_ted_talk_11__1_4_3_2_1_1 life n148_a_ted_talk_11__1_4_3_2_2_1 , n148_a_ted_talk_11__1_4_3_2_3_1_1_1 another n148_a_ted_talk_11__1_4_3_2_3_1_2_1 form n148_a_ted_talk_11__1_4_3_2_3_1_3_1_1 of n148_a_ted_talk_11__1_4_3_2_3_1_3_2_1_1 life n148_a_ted_talk_11__1_5_1 . n148_a_ted_talk_11__1 IP-MAT n148_a_ted_talk_11__1_1 NP-SBJ n148_a_ted_talk_11__1->n148_a_ted_talk_11__1_1 n148_a_ted_talk_11__1_2 BEP;_Ln_ n148_a_ted_talk_11__1->n148_a_ted_talk_11__1_2 n148_a_ted_talk_11__1_3 ADVP-NIM n148_a_ted_talk_11__1->n148_a_ted_talk_11__1_3 n148_a_ted_talk_11__1_4 NP-PRD n148_a_ted_talk_11__1->n148_a_ted_talk_11__1_4 n148_a_ted_talk_11__1_5 PUNC n148_a_ted_talk_11__1->n148_a_ted_talk_11__1_5 n148_a_ted_talk_11__1_1_1 PRO n148_a_ted_talk_11__1_1->n148_a_ted_talk_11__1_1_1 n148_a_ted_talk_11__1_1_1->n148_a_ted_talk_11__1_1_1_1 n148_a_ted_talk_11__1_2->n148_a_ted_talk_11__1_2_1 n148_a_ted_talk_11__1_3_1 ADV n148_a_ted_talk_11__1_3->n148_a_ted_talk_11__1_3_1 n148_a_ted_talk_11__1_3_1->n148_a_ted_talk_11__1_3_1_1 n148_a_ted_talk_11__1_4_1 D n148_a_ted_talk_11__1_4->n148_a_ted_talk_11__1_4_1 n148_a_ted_talk_11__1_4_2 N n148_a_ted_talk_11__1_4->n148_a_ted_talk_11__1_4_2 n148_a_ted_talk_11__1_4_3 PP n148_a_ted_talk_11__1_4->n148_a_ted_talk_11__1_4_3 n148_a_ted_talk_11__1_4_1->n148_a_ted_talk_11__1_4_1_1 n148_a_ted_talk_11__1_4_2->n148_a_ted_talk_11__1_4_2_1 n148_a_ted_talk_11__1_4_3_1 P-ROLE n148_a_ted_talk_11__1_4_3->n148_a_ted_talk_11__1_4_3_1 n148_a_ted_talk_11__1_4_3_2 NP n148_a_ted_talk_11__1_4_3->n148_a_ted_talk_11__1_4_3_2 n148_a_ted_talk_11__1_4_3_1->n148_a_ted_talk_11__1_4_3_1_1 n148_a_ted_talk_11__1_4_3_2_1 N n148_a_ted_talk_11__1_4_3_2->n148_a_ted_talk_11__1_4_3_2_1 n148_a_ted_talk_11__1_4_3_2_2 PUNC n148_a_ted_talk_11__1_4_3_2->n148_a_ted_talk_11__1_4_3_2_2 n148_a_ted_talk_11__1_4_3_2_3 IP-PPL n148_a_ted_talk_11__1_4_3_2->n148_a_ted_talk_11__1_4_3_2_3 n148_a_ted_talk_11__1_4_3_2_1->n148_a_ted_talk_11__1_4_3_2_1_1 n148_a_ted_talk_11__1_4_3_2_2->n148_a_ted_talk_11__1_4_3_2_2_1 n148_a_ted_talk_11__1_4_3_2_3_1 NP-PRD n148_a_ted_talk_11__1_4_3_2_3->n148_a_ted_talk_11__1_4_3_2_3_1 n148_a_ted_talk_11__1_4_3_2_3_1_1 D n148_a_ted_talk_11__1_4_3_2_3_1->n148_a_ted_talk_11__1_4_3_2_3_1_1 n148_a_ted_talk_11__1_4_3_2_3_1_2 N n148_a_ted_talk_11__1_4_3_2_3_1->n148_a_ted_talk_11__1_4_3_2_3_1_2 n148_a_ted_talk_11__1_4_3_2_3_1_3 PP n148_a_ted_talk_11__1_4_3_2_3_1->n148_a_ted_talk_11__1_4_3_2_3_1_3 n148_a_ted_talk_11__1_4_3_2_3_1_1->n148_a_ted_talk_11__1_4_3_2_3_1_1_1 n148_a_ted_talk_11__1_4_3_2_3_1_2->n148_a_ted_talk_11__1_4_3_2_3_1_2_1 n148_a_ted_talk_11__1_4_3_2_3_1_3_1 P-ROLE n148_a_ted_talk_11__1_4_3_2_3_1_3->n148_a_ted_talk_11__1_4_3_2_3_1_3_1 n148_a_ted_talk_11__1_4_3_2_3_1_3_2 NP n148_a_ted_talk_11__1_4_3_2_3_1_3->n148_a_ted_talk_11__1_4_3_2_3_1_3_2 n148_a_ted_talk_11__1_4_3_2_3_1_3_1->n148_a_ted_talk_11__1_4_3_2_3_1_3_1_1 n148_a_ted_talk_11__1_4_3_2_3_1_3_2_1 N n148_a_ted_talk_11__1_4_3_2_3_1_3_2->n148_a_ted_talk_11__1_4_3_2_3_1_3_2_1 n148_a_ted_talk_11__1_4_3_2_3_1_3_2_1->n148_a_ted_talk_11__1_4_3_2_3_1_3_2_1_1 n148_a_ted_talk_11__1_5->n148_a_ted_talk_11__1_5_1
( (IP-MAT (NP-SBJ;{PROFESSORS} (PRO They;{they}))
          (BEP;_Ln_ <apos>re;{be})
          (ADVP-NIM (ADV just;{just}))
          (NP-PRD (D a;{a})
                  (N form;{form})
                  (PP (P-ROLE of;{of})
                      (NP (N life;{life})
                          (PUNC ,)
                          (IP-PPL (NP-PRD (D another;{another})
                                          (N form;{form})
                                          (PP (P-ROLE of;{of})
                                              (NP (N life;{life}))))))))
          (PUNC .))
  (ID 148_a_ted_talk_11))