arc(r_0122_0005__officials, r_0122_0004__U_dot_S_dot_, attrib11).
arc(r_0122_0006__rejected, r_0122_0002__May, r_0122_0001__In_nim5).
arc(r_0122_0006__rejected, r_0122_0005__officials, arg0).
arc(r_0122_0006__rejected, r_0122_0007__a_r_0122_0009__request, arg1).
arc(r_0122_0007__a_r_0122_0009__request, r_0122_0008__Venezuelan, attrib21).
arc(r_0122_0007__a_r_0122_0009__request, r_0122_0012__arrest, r_0122_0010__for).
arc(r_0122_0012__arrest, r_0122_0011__his, gen).
arc(r_0122_0014__citing, r_0122_0005__officials, arg0).
arc(r_0122_0014__citing, r_0122_0015__a_r_0122_0016__lack, arg1).
arc(r_0122_0015__a_r_0122_0016__lack, r_0122_0018__evidence, r_0122_0017__of).
arc(r_0122_0018__evidence, r_0122_0020__the_r_0122_0022__exile, r_0122_0019__against).
arc(r_0122_0020__the_r_0122_0022__exile, r_0122_0021__Cuban, attrib58).
arc(r_0122_0024__holds, r_0122_0020__the_r_0122_0022__exile, arg0).
arc(r_0122_0024__holds, r_0122_0026__citizenship, arg1).
arc(r_0122_0026__citizenship, r_0122_0025__Venezuelan, attrib70).
arc(z_000_122_a_voice_of_america_37, r_0122_0006__rejected, scope).
arc(z_000_122_a_voice_of_america_37, r_0122_0014__citing, restriction).

fof(formula,axiom,
    ? [R_0122_0021__CUBAN,R_0122_0020__THE_R_0122_0022__EXILE,R_0122_0025__VENEZUELAN,R_0122_0026__CITIZENSHIP,R_0122_0024__HOLDS,R_0122_0002__MAY,R_0122_0004__U_DOT_S_DOT_,R_0122_0005__OFFICIALS,R_0122_0008__VENEZUELAN,R_0122_0011__HIS,R_0122_0012__ARREST,R_0122_0007__A_R_0122_0009__REQUEST,R_0122_0006__REJECTED,R_0122_0018__EVIDENCE,R_0122_0015__A_R_0122_0016__LACK,R_0122_0014__CITING,Z_000_122_A_VOICE_OF_AMERICA_37] :
      ( r_0122_0002__May(R_0122_0002__MAY)
      & r_0122_0004__U_dot_S_dot_(R_0122_0004__U_DOT_S_DOT_)
      & r_0122_0008__Venezuelan(R_0122_0008__VENEZUELAN)
      & r_0122_0011__his(R_0122_0011__HIS)
      & r_0122_0021__Cuban(R_0122_0021__CUBAN)
      & r_0122_0025__Venezuelan(R_0122_0025__VENEZUELAN)
      & z_000_122_a_voice_of_america_37(Z_000_122_A_VOICE_OF_AMERICA_37)
      & has_conj1(Z_000_122_A_VOICE_OF_AMERICA_37,R_0122_0014__CITING)
      & r_0122_0014__citing(R_0122_0014__CITING)
      & has_arg1(R_0122_0014__CITING,R_0122_0015__A_R_0122_0016__LACK)
      & r_0122_0015__a_r_0122_0016__lack(R_0122_0015__A_R_0122_0016__LACK)
      & has_r_0122_0017__of(R_0122_0015__A_R_0122_0016__LACK,R_0122_0018__EVIDENCE)
      & r_0122_0018__evidence(R_0122_0018__EVIDENCE)
      & has_r_0122_0019__against(R_0122_0018__EVIDENCE,R_0122_0020__THE_R_0122_0022__EXILE)
      & r_0122_0020__the_r_0122_0022__exile(R_0122_0020__THE_R_0122_0022__EXILE)
      & has_attrib58(R_0122_0020__THE_R_0122_0022__EXILE,R_0122_0021__CUBAN)
      & has_arg0(R_0122_0014__CITING,R_0122_0005__OFFICIALS)
      & r_0122_0005__officials(R_0122_0005__OFFICIALS)
      & has_attrib11(R_0122_0005__OFFICIALS,R_0122_0004__U_DOT_S_DOT_)
      & has_conj2(Z_000_122_A_VOICE_OF_AMERICA_37,R_0122_0006__REJECTED)
      & r_0122_0006__rejected(R_0122_0006__REJECTED)
      & has_arg1(R_0122_0006__REJECTED,R_0122_0007__A_R_0122_0009__REQUEST)
      & r_0122_0007__a_r_0122_0009__request(R_0122_0007__A_R_0122_0009__REQUEST)
      & has_r_0122_0010__for(R_0122_0007__A_R_0122_0009__REQUEST,R_0122_0012__ARREST)
      & r_0122_0012__arrest(R_0122_0012__ARREST)
      & has_gen(R_0122_0012__ARREST,R_0122_0011__HIS)
      & has_attrib21(R_0122_0007__A_R_0122_0009__REQUEST,R_0122_0008__VENEZUELAN)
      & has_arg0(R_0122_0006__REJECTED,R_0122_0005__OFFICIALS)
      & has_r_0122_0001__In_nim5(R_0122_0006__REJECTED,R_0122_0002__MAY)
      & r_0122_0024__holds(R_0122_0024__HOLDS)
      & has_arg1(R_0122_0024__HOLDS,R_0122_0026__CITIZENSHIP)
      & r_0122_0026__citizenship(R_0122_0026__CITIZENSHIP)
      & has_attrib70(R_0122_0026__CITIZENSHIP,R_0122_0025__VENEZUELAN)
      & has_arg0(R_0122_0024__HOLDS,R_0122_0020__THE_R_0122_0022__EXILE) ) ).

( (IP-MAT (PP-NIM (P-ROLE In;{in})
                  (NP (NPR May;{May})))
          (PUNC ,)
          (NP-SBJ (ADJP (ADJ U<dot>S<dot>))
                  (NS officials;{official}))
          (VBD;_Tn_ rejected;{reject})
          (NP-OB1 (D a;{a})
                  (ADJP (ADJ Venezuelan;{venezuelan}))
                  (N request;{request})
                  (PP (P-ROLE for;{for})
                      (NP (NP-GEN;{CARRILES} (PRO;_genm_ his;{his}))
                          (N arrest;{arrest}))))
          (PUNC ,)
          (PP-SCON (IP-PPL2 (VAG;_Tn_ citing;{cite})
                            (NP-OB1 (D a;{a})
                                    (N lack;{lack})
                                    (PP (P-ROLE of;{of})
                                        (NP (N evidence;{evidence})
                                            (PP (P-ROLE against;{against})
                                                (NP;{CARRILES} (D the;{the})
                                                               (ADJP (ADJ Cuban;{cuban}))
                                                               (N exile;{exile})
                                                               (IP-REL (NP-SBJ (RPRO who;{who}))
                                                                       (VBP;_Tn_ holds;{hold})
                                                                       (NP-OB1 (ADJP (ADJ Venezuelan;{venezuelan}))
                                                                               (N citizenship;{citizenship}))))))))))
          (PUNC .))
  (ID 122_a_voice_of_america;p00d0653))