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_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) ) ).
( (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))