arc(r_0080_0003__did, r_0080_0001__President_r_0080_0002__Kennedy, arg0).
arc(r_0080_0003__did, z_000_80_a_lob_a01_9, arg1).
arc(r_0080_0006__to_r_0080_0007__avoid, r_0080_0008__giving, arg1).
arc(r_0080_0006__to_r_0080_0007__avoid, z_000_80_a_lob_a01_16, arg0).
arc(r_0080_0008__giving, r_0080_0009__pressmen, arg2).
arc(r_0080_0008__giving, r_0080_0010__a_r_0080_0012__answer, arg1).
arc(r_0080_0008__giving, z_000_80_a_lob_a01_16, arg0).
arc(r_0080_0010__a_r_0080_0012__answer, r_0080_0011__direct, attrib30).
arc(z_000_80_a_lob_a01_9, r_0080_0001__President_r_0080_0002__Kennedy, gen).
arc(z_000_80_a_lob_a01_9, r_0080_0005__best, attrib13).
arc(z_000_80_a_lob_a01_9, r_0080_0006__to_r_0080_0007__avoid, emb16).

fof(formula,axiom,
    ? [R_0080_0001__PRESIDENT_R_0080_0002__KENNEDY,R_0080_0005__BEST,R_0080_0009__PRESSMEN,R_0080_0011__DIRECT,R_0080_0010__A_R_0080_0012__ANSWER,Z_000_80_A_LOB_A01_16,R_0080_0008__GIVING,R_0080_0006__TO_R_0080_0007__AVOID,Z_000_80_A_LOB_A01_9,R_0080_0003__DID] :
      ( r_0080_0001__President_r_0080_0002__Kennedy(R_0080_0001__PRESIDENT_R_0080_0002__KENNEDY)
      & r_0080_0005__best(R_0080_0005__BEST)
      & r_0080_0009__pressmen(R_0080_0009__PRESSMEN)
      & r_0080_0011__direct(R_0080_0011__DIRECT)
      & z_000_80_a_lob_a01_16(Z_000_80_A_LOB_A01_16)
      & r_0080_0003__did(R_0080_0003__DID)
      & has_arg1(R_0080_0003__DID,Z_000_80_A_LOB_A01_9)
      & z_000_80_a_lob_a01_9(Z_000_80_A_LOB_A01_9)
      & has_emb16(Z_000_80_A_LOB_A01_9,R_0080_0006__TO_R_0080_0007__AVOID)
      & r_0080_0006__to_r_0080_0007__avoid(R_0080_0006__TO_R_0080_0007__AVOID)
      & has_arg0(R_0080_0006__TO_R_0080_0007__AVOID,Z_000_80_A_LOB_A01_16)
      & has_arg1(R_0080_0006__TO_R_0080_0007__AVOID,R_0080_0008__GIVING)
      & r_0080_0008__giving(R_0080_0008__GIVING)
      & has_arg0(R_0080_0008__GIVING,Z_000_80_A_LOB_A01_16)
      & has_arg1(R_0080_0008__GIVING,R_0080_0010__A_R_0080_0012__ANSWER)
      & r_0080_0010__a_r_0080_0012__answer(R_0080_0010__A_R_0080_0012__ANSWER)
      & has_attrib30(R_0080_0010__A_R_0080_0012__ANSWER,R_0080_0011__DIRECT)
      & has_arg2(R_0080_0008__GIVING,R_0080_0009__PRESSMEN)
      & has_attrib13(Z_000_80_A_LOB_A01_9,R_0080_0005__BEST)
      & has_gen(Z_000_80_A_LOB_A01_9,R_0080_0001__PRESIDENT_R_0080_0002__KENNEDY)
      & has_arg0(R_0080_0003__DID,R_0080_0001__PRESIDENT_R_0080_0002__KENNEDY) ) ).

( (IP-MAT (NP-SBJ;{KENNEDY} (N President;{president})
                            (NPR Kennedy;{Kennedy}))
          (DOD;_Tn_ did;{do})
          (NP-OB1 (NP-GEN;{KENNEDY} (PRO;_genm_ his;{his}))
                  (ADJP (ADJS best;{good}))
                  (IP-INF (TO to;{to})
                          (VB;_Tg_ avoid;{avoid})
                          (IP-PPL-OB1 (VAG;_Dn.n_ giving;{give})
                                      (NP-OB2 (NS pressmen;{pressman}))
                                      (NP-OB1 (D a;{a})
                                              (ADJP (ADJ direct;{direct}))
                                              (N answer;{answer})))))
          (PUNC .))
  (ID 80_a_lob_a01))