( (IP-MAT (CONJ;_cl_ And;{and})
          (NP-SBJ (PRO you;{you}))
          (BEP;_cat_VePASS_ <apos>re;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (ADVP-NIM (ADV never;{never}))
                      (VVN;_phr_Vp_ asked;{ask[back]})
                      (RP back;{back}))
          (PUNC ,)
          (ADVP-NIM (ADV curiously;{curiously}))
          (PUNC .))
  (ID 18_a_ted_talk_11))

arc(r_0018_0003___apos_re,r_0018_0005__asked_r_0018_0006__back,scope).
arc(r_0018_0003___apos_re,r_0018_0008__curiously,nim).
arc(r_0018_0005__asked_r_0018_0006__back,r_0018_0002__you,arg1).
arc(r_0018_0005__asked_r_0018_0006__back,r_0018_0004__never,nim).
arc(r_0018_0005__asked_r_0018_0006__back,z_0018_5004___star_,arg0).

fof(formula,axiom,
    ? [R_0018_0008__CURIOUSLY,R_0018_0002__YOU,R_0018_0004__NEVER,Z_0018_5004___STAR_,R_0018_0003___APOS_RE_R_0018_0005__ASKED_R_0018_0006__BACK] :
      ( r_0018_0002__you(R_0018_0002__YOU)
      & r_0018_0004__never(R_0018_0004__NEVER)
      & r_0018_0008__curiously(R_0018_0008__CURIOUSLY)
      & z_0018_5004___star_(Z_0018_5004___STAR_)
      & r_0018_0003___apos_re_r_0018_0005__asked_r_0018_0006__back(R_0018_0003___APOS_RE_R_0018_0005__ASKED_R_0018_0006__BACK)
      & has_arg0(R_0018_0003___APOS_RE_R_0018_0005__ASKED_R_0018_0006__BACK,Z_0018_5004___STAR_)
      & has_nim(R_0018_0003___APOS_RE_R_0018_0005__ASKED_R_0018_0006__BACK,R_0018_0004__NEVER)
      & has_arg1(R_0018_0003___APOS_RE_R_0018_0005__ASKED_R_0018_0006__BACK,R_0018_0002__YOU)
      & has_nim(R_0018_0003___APOS_RE_R_0018_0005__ASKED_R_0018_0006__BACK,R_0018_0008__CURIOUSLY) ) ).