117_a_voice_of_america
A U.S. immigration judge has denied bail for Luis Posada Carriles, an asylum-seeking former CIA operative from Cuba.
( (IP-MAT (NP-SBJ (D A;{a})
(NLYR (ADJP (ADJ U<dot>S<dot>))
(N immigration;{immigration}))
(N judge;{judge}))
(HVP;_cat_Ve_ has;{have})
(IP-PPL-CAT (VVN;_Tn_ denied;{deny})
(NP-OB1 (N bail;{bail})
(PP (P-ROLE for;{for})
(NP;{CARRILES} (NPR Luis;{Luis})
(NPR Posada;{Posada})
(NPR Carriles;{Carriles})
(PUNC ,)
(PRN (NP (D an;{an})
(ADJP (ADJ asylum_<hyphen>_seeking;{asylum_seeking}))
(ADJP (ADJ former;{former})
(NP (NPR CIA;{CIA})))
(N operative;{operative})
(PP (P-ROLE from;{from})
(NP (NPR Cuba;{Cuba})))))))))
(PUNC .))
(ID 117_a_voice_of_america;p00d0653))
arc(r_0117_0005__has,r_0117_0006__denied,scope).
arc(r_0117_0006__denied,r_0117_0001__A_r_0117_0002__U_dot_S_dot__r_0117_0003__immigration_r_0117_0004__judge,arg0).
arc(r_0117_0006__denied,r_0117_0007__bail,arg1).
arc(r_0117_0007__bail,r_0117_0009__Luis_r_0117_0010__Posada_r_0117_0011__Carriles,r_0117_0008__for).
arc(r_0117_0013__an_r_0117_0017__operative,r_0117_0014__asylum__hyphen__seeking,attrib).
arc(r_0117_0013__an_r_0117_0017__operative,r_0117_0015__former,attrib).
arc(r_0117_0013__an_r_0117_0017__operative,r_0117_0019__Cuba,r_0117_0018__from).
arc(r_0117_0015__former,r_0117_0016__CIA,nim).
arc(z_0117_5007,r_0117_0009__Luis_r_0117_0010__Posada_r_0117_0011__Carriles,arg0).
arc(z_0117_5007,r_0117_0013__an_r_0117_0017__operative,prd).
fof(formula,axiom,
? [R_0117_0001__A_R_0117_0002__U_DOT_S_DOT__R_0117_0003__IMMIGRATION_R_0117_0004__JUDGE,R_0117_0009__LUIS_R_0117_0010__POSADA_R_0117_0011__CARRILES,R_0117_0007__BAIL,R_0117_0005__HAS_R_0117_0006__DENIED,R_0117_0014__ASYLUM__HYPHEN__SEEKING,R_0117_0016__CIA,R_0117_0015__FORMER,R_0117_0019__CUBA,R_0117_0013__AN_R_0117_0017__OPERATIVE,Z_0117_5007] :
( r_0117_0001__A_r_0117_0002__U_dot_S_dot__r_0117_0003__immigration_r_0117_0004__judge(R_0117_0001__A_R_0117_0002__U_DOT_S_DOT__R_0117_0003__IMMIGRATION_R_0117_0004__JUDGE)
& r_0117_0009__Luis_r_0117_0010__Posada_r_0117_0011__Carriles(R_0117_0009__LUIS_R_0117_0010__POSADA_R_0117_0011__CARRILES)
& r_0117_0014__asylum__hyphen__seeking(R_0117_0014__ASYLUM__HYPHEN__SEEKING)
& r_0117_0016__CIA(R_0117_0016__CIA)
& r_0117_0019__Cuba(R_0117_0019__CUBA)
& z_0117_5007(Z_0117_5007)
& has_prd(Z_0117_5007,R_0117_0013__AN_R_0117_0017__OPERATIVE)
& r_0117_0013__an_r_0117_0017__operative(R_0117_0013__AN_R_0117_0017__OPERATIVE)
& has_r_0117_0018__from(R_0117_0013__AN_R_0117_0017__OPERATIVE,R_0117_0019__CUBA)
& has_attrib(R_0117_0013__AN_R_0117_0017__OPERATIVE,R_0117_0015__FORMER)
& r_0117_0015__former(R_0117_0015__FORMER)
& has_nim(R_0117_0015__FORMER,R_0117_0016__CIA)
& has_attrib(R_0117_0013__AN_R_0117_0017__OPERATIVE,R_0117_0014__ASYLUM__HYPHEN__SEEKING)
& has_arg0(Z_0117_5007,R_0117_0009__LUIS_R_0117_0010__POSADA_R_0117_0011__CARRILES)
& r_0117_0005__has_r_0117_0006__denied(R_0117_0005__HAS_R_0117_0006__DENIED)
& has_arg1(R_0117_0005__HAS_R_0117_0006__DENIED,R_0117_0007__BAIL)
& r_0117_0007__bail(R_0117_0007__BAIL)
& has_r_0117_0008__for(R_0117_0007__BAIL,R_0117_0009__LUIS_R_0117_0010__POSADA_R_0117_0011__CARRILES)
& has_arg0(R_0117_0005__HAS_R_0117_0006__DENIED,R_0117_0001__A_R_0117_0002__U_DOT_S_DOT__R_0117_0003__IMMIGRATION_R_0117_0004__JUDGE) ) ).