148_a_ted_talk_11
They're just a form of life, another form of life.
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).
fof(formula,axiom,
? [R_148_2__APOS_RE,R_148_1_THEY,R_148_3_JUST,R_148_4_A_FORM,Z_148_A_TED_TALK_11_23,R_148_7_LIFE,R_148_9_ANOTHER_FORM,R_148_12_LIFE] :
( they(R_148_1_THEY)
& just(R_148_3_JUST)
& life(R_148_7_LIFE)
& life(R_148_12_LIFE)
& _apos_re(R_148_2__APOS_RE,R_148_1_THEY,R_148_4_A_FORM)
& a_form(R_148_4_A_FORM)
& of(R_148_4_A_FORM,R_148_7_LIFE)
& nim7(R_148_2__APOS_RE,R_148_3_JUST)
& z_148_a_ted_talk_11_23(Z_148_A_TED_TALK_11_23,R_148_7_LIFE,R_148_9_ANOTHER_FORM)
& another_form(R_148_9_ANOTHER_FORM)
& of(R_148_9_ANOTHER_FORM,R_148_12_LIFE) ) ).
( (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))