153_a_ted_talk_11
They're disembodied, you know, in a kind of literal way.
arc(r_0153_0002___apos_re, r_0153_0003__disembodied_r_0153_0005__you_know, scope).
arc(r_0153_0003__disembodied_r_0153_0005__you_know, r_0153_0001__They, arg1).
arc(r_0153_0003__disembodied_r_0153_0005__you_know, r_0153_0008__a_r_0153_0009__kind, r_0153_0007__in_nim21).
arc(r_0153_0003__disembodied_r_0153_0005__you_know, z_000_153_a_ted_talk_11_8, arg0).
arc(r_0153_0008__a_r_0153_0009__kind, r_0153_0012__way, r_0153_0010__of).
arc(r_0153_0012__way, r_0153_0011__literal, attrib30).
fof(formula,axiom,
? [R_0153_0001__THEY,R_0153_0011__LITERAL,R_0153_0012__WAY,R_0153_0008__A_R_0153_0009__KIND,Z_000_153_A_TED_TALK_11_8,R_0153_0002___APOS_RE_R_0153_0003__DISEMBODIED_R_0153_0005__YOU_KNOW] :
( r_0153_0001__They(R_0153_0001__THEY)
& r_0153_0011__literal(R_0153_0011__LITERAL)
& z_000_153_a_ted_talk_11_8(Z_000_153_A_TED_TALK_11_8)
& r_0153_0002___apos_re_r_0153_0003__disembodied_r_0153_0005__you_know(R_0153_0002___APOS_RE_R_0153_0003__DISEMBODIED_R_0153_0005__YOU_KNOW)
& has_arg0(R_0153_0002___APOS_RE_R_0153_0003__DISEMBODIED_R_0153_0005__YOU_KNOW,Z_000_153_A_TED_TALK_11_8)
& has_r_0153_0007__in_nim21(R_0153_0002___APOS_RE_R_0153_0003__DISEMBODIED_R_0153_0005__YOU_KNOW,R_0153_0008__A_R_0153_0009__KIND)
& r_0153_0008__a_r_0153_0009__kind(R_0153_0008__A_R_0153_0009__KIND)
& has_r_0153_0010__of(R_0153_0008__A_R_0153_0009__KIND,R_0153_0012__WAY)
& r_0153_0012__way(R_0153_0012__WAY)
& has_attrib30(R_0153_0012__WAY,R_0153_0011__LITERAL)
& has_arg1(R_0153_0002___APOS_RE_R_0153_0003__DISEMBODIED_R_0153_0005__YOU_KNOW,R_0153_0001__THEY) ) ).
( (IP-MAT (NP-SBJ;{PROFESSORS} (PRO They;{they}))
(BEP;_cat_VePASS_ <apos>re;{be})
(IP-PPL-CAT (NP-LGS *)
(VVN;_Tn_ disembodied;{disembody})
(PUNC ,)
(FRM you_know)
(PUNC ,)
(PP-NIM (P-ROLE in;{in})
(NP (D a;{a})
(N kind;{kind})
(PP (P-ROLE of;{of})
(NP (ADJP (ADJ literal;{literal}))
(N way;{way}))))))
(PUNC .))
(ID 153_a_ted_talk_11))