86_a_ted_talk_11
Picasso once said this, he said that all children are born artists.
arc(r_0086_0003__said, r_0086_0001__Picasso, arg0).
arc(r_0086_0003__said, r_0086_0002__once, nim5).
arc(r_0086_0003__said, r_0086_0004__this, arg1).
fof(formula,axiom,
? [R_0086_0001__PICASSO,R_0086_0002__ONCE,R_0086_0004__THIS,R_0086_0003__SAID] :
( r_0086_0001__Picasso(R_0086_0001__PICASSO)
& r_0086_0002__once(R_0086_0002__ONCE)
& r_0086_0004__this(R_0086_0004__THIS)
& r_0086_0003__said(R_0086_0003__SAID)
& has_arg1(R_0086_0003__SAID,R_0086_0004__THIS)
& has_nim5(R_0086_0003__SAID,R_0086_0002__ONCE)
& has_arg0(R_0086_0003__SAID,R_0086_0001__PICASSO) ) ).
( (IP-MAT (NP-SBJ;{PICASSO} (NPR Picasso;{Picasso}))
(ADVP-NIM (ADV once;{once}))
(VBD;_Tn_ said;{say})
(NP-OB1;{BORNARTISTS} (D;_nphd_ this;{this}))
(PUNC ,)
(PRN (IP-MAT (NP-SBJ;{PICASSO} (PRO he;{he}))
(VBD;_Tf_ said;{say})
(CP-THT-OB1 (IP-SUB;{BORNARTISTS} (C that;{that})
(NP-SBJ (Q all;{all})
(NS children;{child}))
(BEP;_Ln_ are;{be})
(NP-PRD (IP-PPL (NP-LGS *)
(VVN;_Tn_ born;{bear}))
(NS artists;{artist}))))))
(PUNC .))
(ID 86_a_ted_talk_11))