240_a_ted_talk_11
People who had to move to think.”
( (FRAG (NP (NS People;{people})
(IP-REL (NP-SBJ (RPRO who;{who}))
(HVD;_cat_Vt_ had;{have})
(IP-INF-CAT (TO to;{to})
(VB;__ move;{move}))
(PP-SCON (IP-INF (TO to;{to})
(VB;__ think;{think})))))
(PUNC .)
(PURQ <rdquo>))
(ID 240_a_ted_talk_11))
arc(r_0240_0003__had,r_0240_0005__move,scope).
arc(r_0240_0005__move,r_0240_0001__People,arg0).
arc(r_0240_0007__think,r_0240_0001__People,arg0).
arc(z_0240_5004,r_0240_0003__had,scope).
arc(z_0240_5004,r_0240_0007__think,restriction).
arc(z_0240_5010,r_0240_0001__People,z_0240_5002).
fof(formula,axiom,
? [R_0240_0001__PEOPLE,R_0240_0003__HAD_R_0240_0005__MOVE,R_0240_0007__THINK,Z_0240_5004,Z_0240_5010] :
( r_0240_0001__People(R_0240_0001__PEOPLE)
& z_0240_5010(Z_0240_5010)
& has_z_0240_5002(Z_0240_5010,R_0240_0001__PEOPLE)
& z_0240_5004(Z_0240_5004)
& has_conj1(Z_0240_5004,R_0240_0007__THINK)
& r_0240_0007__think(R_0240_0007__THINK)
& has_arg0(R_0240_0007__THINK,R_0240_0001__PEOPLE)
& has_conj2(Z_0240_5004,R_0240_0003__HAD_R_0240_0005__MOVE)
& r_0240_0003__had_r_0240_0005__move(R_0240_0003__HAD_R_0240_0005__MOVE)
& has_arg0(R_0240_0003__HAD_R_0240_0005__MOVE,R_0240_0001__PEOPLE) ) ).