( (IP-MAT (CONJ;_cl_ But;{but})
          (NP-SBJ;{PERSONS} (PRO they;{they}))
          (VBD;_I_ answered;{answer})
          (PUNC :)
          (PULQ <ldquo>)
          (CP-QUE-OB1 (IP-SUB (VB;_Tn_ Frighten;{frighten}))
                      (PUNC ?)))
  (ID 11_a_saint_exupery_1943))

arc(r_0011_0003__answered,r_0011_0002__they,arg0).
arc(r_0011_0003__answered,r_0011_0006__Frighten,arg1).
arc(r_0011_0006__Frighten,z_0011_5003,arg0).

fof(formula,axiom,
    ? [R_0011_0002__THEY,Z_0011_5003,R_0011_0006__FRIGHTEN,R_0011_0003__ANSWERED] :
      ( r_0011_0002__they(R_0011_0002__THEY)
      & z_0011_5003(Z_0011_5003)
      & r_0011_0003__answered(R_0011_0003__ANSWERED)
      & has_arg1(R_0011_0003__ANSWERED,R_0011_0006__FRIGHTEN)
      & r_0011_0006__Frighten(R_0011_0006__FRIGHTEN)
      & has_arg0(R_0011_0006__FRIGHTEN,Z_0011_5003)
      & has_arg0(R_0011_0003__ANSWERED,R_0011_0002__THEY) ) ).