147_a_ted_talk_11
They're just a form of life, another form of 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 ,)
(PRN (NP (D another;{another})
(N form;{form})
(PP (P-ROLE of;{of})
(NP (N life;{life}))))))))
(PUNC .))
(ID 147_a_ted_talk_11))
arc(r_0147_0002___apos_re,r_0147_0001__They,arg0).
arc(r_0147_0002___apos_re,r_0147_0003__just,nim).
arc(r_0147_0002___apos_re,r_0147_0004__a_r_0147_0005__form,prd).
arc(r_0147_0004__a_r_0147_0005__form,r_0147_0007__life,r_0147_0006__of).
arc(r_0147_0009__another_r_0147_0010__form,r_0147_0012__life,r_0147_0011__of).
arc(z_0147_5005,r_0147_0007__life,arg0).
arc(z_0147_5005,r_0147_0009__another_r_0147_0010__form,prd).
fof(formula,axiom,
? [R_0147_0001__THEY,R_0147_0003__JUST,R_0147_0007__LIFE,R_0147_0004__A_R_0147_0005__FORM,R_0147_0002___APOS_RE,R_0147_0012__LIFE,R_0147_0009__ANOTHER_R_0147_0010__FORM,Z_0147_5005] :
( r_0147_0001__They(R_0147_0001__THEY)
& r_0147_0003__just(R_0147_0003__JUST)
& r_0147_0007__life(R_0147_0007__LIFE)
& r_0147_0012__life(R_0147_0012__LIFE)
& z_0147_5005(Z_0147_5005)
& has_prd(Z_0147_5005,R_0147_0009__ANOTHER_R_0147_0010__FORM)
& r_0147_0009__another_r_0147_0010__form(R_0147_0009__ANOTHER_R_0147_0010__FORM)
& has_r_0147_0011__of(R_0147_0009__ANOTHER_R_0147_0010__FORM,R_0147_0012__LIFE)
& has_arg0(Z_0147_5005,R_0147_0007__LIFE)
& r_0147_0002___apos_re(R_0147_0002___APOS_RE)
& has_prd(R_0147_0002___APOS_RE,R_0147_0004__A_R_0147_0005__FORM)
& r_0147_0004__a_r_0147_0005__form(R_0147_0004__A_R_0147_0005__FORM)
& has_r_0147_0006__of(R_0147_0004__A_R_0147_0005__FORM,R_0147_0007__LIFE)
& has_nim(R_0147_0002___APOS_RE,R_0147_0003__JUST)
& has_arg0(R_0147_0002___APOS_RE,R_0147_0001__THEY) ) ).