( (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))

arc(r_0086_0003__said,r_0086_0001__Picasso,arg0).
arc(r_0086_0003__said,r_0086_0002__once,nim).
arc(r_0086_0003__said,r_0086_0004__this,arg1).
arc(r_0086_0003__said,r_0086_0007__said,prn).
arc(r_0086_0007__said,r_0086_0001__Picasso,arg0).
arc(r_0086_0007__said,r_0086_0009__all__quant,arg1).
arc(r_0086_0009__all__quant,r_0086_0010__children,restriction).
arc(r_0086_0009__all__quant,r_0086_0011__are,scope).
arc(r_0086_0011__are,r_0086_0010__children,arg0).
arc(r_0086_0011__are,r_0086_0013__artists,prd).
arc(r_0086_0012__born,r_0086_0013__artists,inv_arg1).
arc(r_0086_0012__born,z_0086_5007___star_,arg0).

fof(formula,axiom,
    ? [R_0086_0001__PICASSO,R_0086_0002__ONCE,R_0086_0004__THIS,R_0086_0007__SAID,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_prn(R_0086_0003__SAID,R_0086_0007__SAID)
      & r_0086_0007__said(R_0086_0007__SAID)
      & ! [R_0086_0010__CHILDREN] :
          ( r_0086_0010__children(R_0086_0010__CHILDREN)
         => ? [Z_0086_5007___STAR_,R_0086_0012__BORN,R_0086_0013__ARTISTS,R_0086_0011__ARE] :
              ( z_0086_5007___star_(Z_0086_5007___STAR_)
              & r_0086_0011__are(R_0086_0011__ARE)
              & has_prd(R_0086_0011__ARE,R_0086_0013__ARTISTS)
              & r_0086_0013__artists(R_0086_0013__ARTISTS)
              & has_inv_arg1(R_0086_0013__ARTISTS,R_0086_0012__BORN)
              & r_0086_0012__born(R_0086_0012__BORN)
              & has_arg0(R_0086_0012__BORN,Z_0086_5007___STAR_)
              & has_arg0(R_0086_0011__ARE,R_0086_0010__CHILDREN) ) )
      & has_arg0(R_0086_0007__SAID,R_0086_0001__PICASSO)
      & has_arg1(R_0086_0003__SAID,R_0086_0004__THIS)
      & has_nim(R_0086_0003__SAID,R_0086_0002__ONCE)
      & has_arg0(R_0086_0003__SAID,R_0086_0001__PICASSO) ) ).