153_a_ted_talk_11
They look upon their body as a form of transport for their heads.
( (IP-MAT (NP-SBJ;{PROFESSORS} (PRO They;{they}))
(VBP;_Ipr_ look;{look[upon]})
(PP-CLR (P-ROLE upon;{upon})
(NP (NP-GEN;{PROFESSORS} (PRO;_genm_ their;{their}))
(N body;{body})))
(PP-NIM (P-ROLE as;{as})
(NP (D a;{a})
(N form;{form})
(PP (P-ROLE of;{of})
(NP (N transport;{transport})
(PP (P-ROLE for;{for})
(NP (NP-GEN;{PROFESSORS} (PRO;_genm_ their;{their}))
(NS heads;{head})))))))
(PUNC .))
(ID 153_a_ted_talk_11))
arc(r_0153_0002__look_r_0153_0003__upon,r_0153_0001__They,arg0).
arc(r_0153_0002__look_r_0153_0003__upon,r_0153_0005__body,arg1).
arc(r_0153_0002__look_r_0153_0003__upon,r_0153_0007__a_r_0153_0008__form,r_0153_0006__as__nim).
arc(r_0153_0005__body,r_0153_0001__They,gen).
arc(r_0153_0007__a_r_0153_0008__form,r_0153_0010__transport,r_0153_0009__of).
arc(r_0153_0010__transport,r_0153_0013__heads,r_0153_0011__for).
arc(r_0153_0013__heads,r_0153_0001__They,gen).
fof(formula,axiom,
? [R_0153_0001__THEY,R_0153_0005__BODY,R_0153_0013__HEADS,R_0153_0010__TRANSPORT,R_0153_0007__A_R_0153_0008__FORM,R_0153_0002__LOOK_R_0153_0003__UPON] :
( r_0153_0001__They(R_0153_0001__THEY)
& r_0153_0002__look_r_0153_0003__upon(R_0153_0002__LOOK_R_0153_0003__UPON)
& has_r_0153_0006__as__nim(R_0153_0002__LOOK_R_0153_0003__UPON,R_0153_0007__A_R_0153_0008__FORM)
& r_0153_0007__a_r_0153_0008__form(R_0153_0007__A_R_0153_0008__FORM)
& has_r_0153_0009__of(R_0153_0007__A_R_0153_0008__FORM,R_0153_0010__TRANSPORT)
& r_0153_0010__transport(R_0153_0010__TRANSPORT)
& has_r_0153_0011__for(R_0153_0010__TRANSPORT,R_0153_0013__HEADS)
& r_0153_0013__heads(R_0153_0013__HEADS)
& has_gen(R_0153_0013__HEADS,R_0153_0001__THEY)
& has_arg1(R_0153_0002__LOOK_R_0153_0003__UPON,R_0153_0005__BODY)
& r_0153_0005__body(R_0153_0005__BODY)
& has_gen(R_0153_0005__BODY,R_0153_0001__THEY)
& has_arg0(R_0153_0002__LOOK_R_0153_0003__UPON,R_0153_0001__THEY) ) ).