( (IP-MAT (NP-SBJ (ADJP (ADJ Indonesian;{indonesian}))
                  (NS police;{police}))
          (VBD;_Tf_ said;{say})
          (NP-NIM (NPR Wednesday;{Wednesday}))
          (CP-THT-OB1 (IP-SUB (NP-SBJ (D the;{the})
                                      (NS men;{man}))
                              (BED;_cat_VePASS_ were;{be})
                              (IP-PPL-CAT (NP-LGS *)
                                          (VVN;_Tn.pr_ flown;{fly[to]})
                                          (PP-CLR (P-ROLE to;{to})
                                                  (NP (NPR Bali;{Bali})))
                                          (PP-NIM (P-ROLE from;{from})
                                                  (NP (ADJP (ADJ neighboring;{neighboring}))
                                                      (NPR Java;{Java})
                                                      (N island;{island})))
                                          (PP-NIM (P-ROLE for;{for})
                                                  (NP (N questioning;{questioning})
                                                      (PP (P-ROLE at;{at})
                                                          (NP (NLYR (ADJP (ADJ Bali;{bali}))
                                                                    (N police;{police}))
                                                              (N headquarters;{headquarters}))))))))
          (PUNC .))
  (ID 18_a_voice_of_america;p00d0100))

arc(r_0018_0002__police,r_0018_0001__Indonesian,attrib).
arc(r_0018_0003__said,r_0018_0002__police,arg0).
arc(r_0018_0003__said,r_0018_0004__Wednesday,nim).
arc(r_0018_0003__said,r_0018_0007__were,arg1).
arc(r_0018_0007__were,r_0018_0008__flown_r_0018_0009__to,scope).
arc(r_0018_0008__flown_r_0018_0009__to,r_0018_0005__the_r_0018_0006__men,arg1).
arc(r_0018_0008__flown_r_0018_0009__to,r_0018_0010__Bali,arg2).
arc(r_0018_0008__flown_r_0018_0009__to,r_0018_0013__Java_r_0018_0014__island,r_0018_0011__from__nim).
arc(r_0018_0008__flown_r_0018_0009__to,r_0018_0016__questioning,r_0018_0015__for__nim).
arc(r_0018_0008__flown_r_0018_0009__to,z_0018_5012___star_,arg0).
arc(r_0018_0013__Java_r_0018_0014__island,r_0018_0012__neighboring,attrib).
arc(r_0018_0016__questioning,r_0018_0020__headquarters,r_0018_0017__at).
arc(r_0018_0019__police,r_0018_0018__Bali,attrib).
arc(r_0018_0020__headquarters,r_0018_0019__police,nim).

fof(formula,axiom,
    ? [R_0018_0001__INDONESIAN,R_0018_0002__POLICE,R_0018_0004__WEDNESDAY,R_0018_0005__THE_R_0018_0006__MEN,R_0018_0010__BALI,R_0018_0012__NEIGHBORING,R_0018_0013__JAVA_R_0018_0014__ISLAND,R_0018_0018__BALI,R_0018_0019__POLICE,R_0018_0020__HEADQUARTERS,R_0018_0016__QUESTIONING,Z_0018_5012___STAR_,R_0018_0007__WERE_R_0018_0008__FLOWN_R_0018_0009__TO,R_0018_0003__SAID] :
      ( r_0018_0001__Indonesian(R_0018_0001__INDONESIAN)
      & r_0018_0004__Wednesday(R_0018_0004__WEDNESDAY)
      & r_0018_0005__the_r_0018_0006__men(R_0018_0005__THE_R_0018_0006__MEN)
      & r_0018_0010__Bali(R_0018_0010__BALI)
      & r_0018_0012__neighboring(R_0018_0012__NEIGHBORING)
      & r_0018_0018__Bali(R_0018_0018__BALI)
      & z_0018_5012___star_(Z_0018_5012___STAR_)
      & r_0018_0003__said(R_0018_0003__SAID)
      & has_arg1(R_0018_0003__SAID,R_0018_0007__WERE_R_0018_0008__FLOWN_R_0018_0009__TO)
      & r_0018_0007__were_r_0018_0008__flown_r_0018_0009__to(R_0018_0007__WERE_R_0018_0008__FLOWN_R_0018_0009__TO)
      & has_arg0(R_0018_0007__WERE_R_0018_0008__FLOWN_R_0018_0009__TO,Z_0018_5012___STAR_)
      & has_r_0018_0015__for__nim(R_0018_0007__WERE_R_0018_0008__FLOWN_R_0018_0009__TO,R_0018_0016__QUESTIONING)
      & r_0018_0016__questioning(R_0018_0016__QUESTIONING)
      & has_r_0018_0017__at(R_0018_0016__QUESTIONING,R_0018_0020__HEADQUARTERS)
      & r_0018_0020__headquarters(R_0018_0020__HEADQUARTERS)
      & has_nim(R_0018_0020__HEADQUARTERS,R_0018_0019__POLICE)
      & r_0018_0019__police(R_0018_0019__POLICE)
      & has_attrib(R_0018_0019__POLICE,R_0018_0018__BALI)
      & has_r_0018_0011__from__nim(R_0018_0007__WERE_R_0018_0008__FLOWN_R_0018_0009__TO,R_0018_0013__JAVA_R_0018_0014__ISLAND)
      & r_0018_0013__Java_r_0018_0014__island(R_0018_0013__JAVA_R_0018_0014__ISLAND)
      & has_attrib(R_0018_0013__JAVA_R_0018_0014__ISLAND,R_0018_0012__NEIGHBORING)
      & has_arg2(R_0018_0007__WERE_R_0018_0008__FLOWN_R_0018_0009__TO,R_0018_0010__BALI)
      & has_arg1(R_0018_0007__WERE_R_0018_0008__FLOWN_R_0018_0009__TO,R_0018_0005__THE_R_0018_0006__MEN)
      & has_nim(R_0018_0003__SAID,R_0018_0004__WEDNESDAY)
      & has_arg0(R_0018_0003__SAID,R_0018_0002__POLICE)
      & r_0018_0002__police(R_0018_0002__POLICE)
      & has_attrib(R_0018_0002__POLICE,R_0018_0001__INDONESIAN) ) ).