arc(r_0018_0002__police, r_0018_0001__Indonesian, attrib3).
arc(r_0018_0003__said, r_0018_0002__police, arg0).
arc(r_0018_0003__said, r_0018_0004__Wednesday, nim10).
arc(r_0018_0003__said, r_0018_0007__were, arg1).
arc(r_0018_0007__were, r_0018_0008__flown, scope).
arc(r_0018_0008__flown, r_0018_0005__the_r_0018_0006__men, arg1).
arc(r_0018_0008__flown, r_0018_0010__Bali, r_0018_0009__to_clr30).
arc(r_0018_0008__flown, r_0018_0013__Java_r_0018_0014__island, r_0018_0011__from_nim36).
arc(r_0018_0008__flown, r_0018_0016__questioning, r_0018_0015__for_nim47).
arc(r_0018_0008__flown, z_000_18_a_voice_of_america_23, arg0).
arc(r_0018_0013__Java_r_0018_0014__island, r_0018_0012__neighboring, attrib37).
arc(r_0018_0016__questioning, r_0018_0019__police_r_0018_0020__headquarters, r_0018_0017__at).
arc(r_0018_0019__police_r_0018_0020__headquarters, r_0018_0018__Bali, attrib54).

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_000_18_A_VOICE_OF_AMERICA_23,R_0018_0007__WERE_R_0018_0008__FLOWN,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_000_18_a_voice_of_america_23(Z_000_18_A_VOICE_OF_AMERICA_23)
      & r_0018_0003__said(R_0018_0003__SAID)
      & has_arg1(R_0018_0003__SAID,R_0018_0007__WERE_R_0018_0008__FLOWN)
      & r_0018_0007__were_r_0018_0008__flown(R_0018_0007__WERE_R_0018_0008__FLOWN)
      & has_arg0(R_0018_0007__WERE_R_0018_0008__FLOWN,Z_000_18_A_VOICE_OF_AMERICA_23)
      & has_r_0018_0015__for_nim47(R_0018_0007__WERE_R_0018_0008__FLOWN,R_0018_0016__QUESTIONING)
      & r_0018_0016__questioning(R_0018_0016__QUESTIONING)
      & has_r_0018_0017__at(R_0018_0016__QUESTIONING,R_0018_0019__POLICE_R_0018_0020__HEADQUARTERS)
      & r_0018_0019__police_r_0018_0020__headquarters(R_0018_0019__POLICE_R_0018_0020__HEADQUARTERS)
      & has_attrib54(R_0018_0019__POLICE_R_0018_0020__HEADQUARTERS,R_0018_0018__BALI)
      & has_r_0018_0011__from_nim36(R_0018_0007__WERE_R_0018_0008__FLOWN,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_attrib37(R_0018_0013__JAVA_R_0018_0014__ISLAND,R_0018_0012__NEIGHBORING)
      & has_r_0018_0009__to_clr30(R_0018_0007__WERE_R_0018_0008__FLOWN,R_0018_0010__BALI)
      & has_arg1(R_0018_0007__WERE_R_0018_0008__FLOWN,R_0018_0005__THE_R_0018_0006__MEN)
      & has_nim10(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_attrib3(R_0018_0002__POLICE,R_0018_0001__INDONESIAN) ) ).

( (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 (ADJP (ADJ Bali;{bali}))
                                                              (N police;{police})
                                                              (N headquarters;{headquarters}))))))))
          (PUNC .))
  (ID 18_a_voice_of_america;p00d0100))