( (IP-MAT (NP-SBJ;{GOODE} (PRO He;{he}))
          (VBD;_Tn_ cited;{cite})
          (NP-OB1 (D the;{the})
                  (N case;{case})
                  (PP (P-ROLE of;{of})
                      (NP;{TRADER} (D a;{a})
                                   (ADJP (ADJ Swiss;{swiss}))
                                   (N oil;{oil})
                                   (N trader;{trader})
                                   (IP-REL (NP-SBJ (RPRO who;{who}))
                                           (ADVP-NIM (ADV recently;{recently}))
                                           (VBD;_phr_Vn<=>p_ put;{put[out]})
                                           (RP out;{out})
                                           (NP-OB1 (NS bids;{bid})
                                                   (PP *ICH*-162))
                                           (PP-NIM (P-ROLE via;{via})
                                                   (NP (N telex;{telex})))
                                           (PP-EPD-162 (P-ROLE for;{for})
                                                       (NP (D an;{an})
                                                           (N oil;{oil})
                                                           (N tanker;{tanker})
                                                           (IP-INF-REL (NP-SBJ *T*)
                                                                       (TO to;{to})
                                                                       (VB;_phr_Vn<=>p_ pick;{pick[up]})
                                                                       (RP up;{up})
                                                                       (NP-OB1 (D a;{a})
                                                                               (N cargo;{cargo})
                                                                               (PP (P-ROLE of;{of})
                                                                                   (NP (N crude;{crude}))))
                                                                       (PP-NIM (P-ROLE in;{in})
                                                                               (NP (D the;{the})
                                                                                   (NPR Middle;{Middle})
                                                                                   (NPR East;{East}))))))))))
          (PUNC .))
  (ID 21_a_wsj_1640))

arc(r_0021_0002__cited,r_0021_0001__He,arg0).
arc(r_0021_0002__cited,r_0021_0003__the_r_0021_0004__case,arg1).
arc(r_0021_0003__the_r_0021_0004__case,r_0021_0006__a_r_0021_0008__oil_r_0021_0009__trader,r_0021_0005__of).
arc(r_0021_0006__a_r_0021_0008__oil_r_0021_0009__trader,r_0021_0007__Swiss,attrib).
arc(r_0021_0012__put_r_0021_0013__out,r_0021_0006__a_r_0021_0008__oil_r_0021_0009__trader,arg0).
arc(r_0021_0012__put_r_0021_0013__out,r_0021_0011__recently,nim).
arc(r_0021_0012__put_r_0021_0013__out,r_0021_0014__bids,arg1).
arc(r_0021_0012__put_r_0021_0013__out,r_0021_0016__telex,r_0021_0015__via__nim).
arc(r_0021_0014__bids,r_0021_0018__an_r_0021_0019__oil_r_0021_0020__tanker,r_0021_0017__for).
arc(r_0021_0022__pick_r_0021_0023__up,r_0021_0018__an_r_0021_0019__oil_r_0021_0020__tanker,inv_arg0).
arc(r_0021_0022__pick_r_0021_0023__up,r_0021_0024__a_r_0021_0025__cargo,arg1).
arc(r_0021_0022__pick_r_0021_0023__up,r_0021_0029__the_r_0021_0030__Middle_r_0021_0031__East,r_0021_0028__in__nim).
arc(r_0021_0024__a_r_0021_0025__cargo,r_0021_0027__crude,r_0021_0026__of).

fof(formula,axiom,
    ? [R_0021_0001__HE,R_0021_0007__SWISS,R_0021_0006__A_R_0021_0008__OIL_R_0021_0009__TRADER,R_0021_0003__THE_R_0021_0004__CASE,R_0021_0002__CITED,R_0021_0011__RECENTLY,R_0021_0027__CRUDE,R_0021_0024__A_R_0021_0025__CARGO,R_0021_0029__THE_R_0021_0030__MIDDLE_R_0021_0031__EAST,R_0021_0022__PICK_R_0021_0023__UP,R_0021_0018__AN_R_0021_0019__OIL_R_0021_0020__TANKER,R_0021_0014__BIDS,R_0021_0016__TELEX,R_0021_0012__PUT_R_0021_0013__OUT] :
      ( r_0021_0001__He(R_0021_0001__HE)
      & r_0021_0007__Swiss(R_0021_0007__SWISS)
      & r_0021_0011__recently(R_0021_0011__RECENTLY)
      & r_0021_0016__telex(R_0021_0016__TELEX)
      & r_0021_0027__crude(R_0021_0027__CRUDE)
      & r_0021_0029__the_r_0021_0030__Middle_r_0021_0031__East(R_0021_0029__THE_R_0021_0030__MIDDLE_R_0021_0031__EAST)
      & r_0021_0012__put_r_0021_0013__out(R_0021_0012__PUT_R_0021_0013__OUT)
      & has_r_0021_0015__via__nim(R_0021_0012__PUT_R_0021_0013__OUT,R_0021_0016__TELEX)
      & has_arg1(R_0021_0012__PUT_R_0021_0013__OUT,R_0021_0014__BIDS)
      & r_0021_0014__bids(R_0021_0014__BIDS)
      & has_r_0021_0017__for(R_0021_0014__BIDS,R_0021_0018__AN_R_0021_0019__OIL_R_0021_0020__TANKER)
      & r_0021_0018__an_r_0021_0019__oil_r_0021_0020__tanker(R_0021_0018__AN_R_0021_0019__OIL_R_0021_0020__TANKER)
      & has_inv_arg0(R_0021_0018__AN_R_0021_0019__OIL_R_0021_0020__TANKER,R_0021_0022__PICK_R_0021_0023__UP)
      & r_0021_0022__pick_r_0021_0023__up(R_0021_0022__PICK_R_0021_0023__UP)
      & has_r_0021_0028__in__nim(R_0021_0022__PICK_R_0021_0023__UP,R_0021_0029__THE_R_0021_0030__MIDDLE_R_0021_0031__EAST)
      & has_arg1(R_0021_0022__PICK_R_0021_0023__UP,R_0021_0024__A_R_0021_0025__CARGO)
      & r_0021_0024__a_r_0021_0025__cargo(R_0021_0024__A_R_0021_0025__CARGO)
      & has_r_0021_0026__of(R_0021_0024__A_R_0021_0025__CARGO,R_0021_0027__CRUDE)
      & has_nim(R_0021_0012__PUT_R_0021_0013__OUT,R_0021_0011__RECENTLY)
      & has_arg0(R_0021_0012__PUT_R_0021_0013__OUT,R_0021_0006__A_R_0021_0008__OIL_R_0021_0009__TRADER)
      & r_0021_0006__a_r_0021_0008__oil_r_0021_0009__trader(R_0021_0006__A_R_0021_0008__OIL_R_0021_0009__TRADER)
      & has_attrib(R_0021_0006__A_R_0021_0008__OIL_R_0021_0009__TRADER,R_0021_0007__SWISS)
      & r_0021_0002__cited(R_0021_0002__CITED)
      & has_arg1(R_0021_0002__CITED,R_0021_0003__THE_R_0021_0004__CASE)
      & r_0021_0003__the_r_0021_0004__case(R_0021_0003__THE_R_0021_0004__CASE)
      & has_r_0021_0005__of(R_0021_0003__THE_R_0021_0004__CASE,R_0021_0006__A_R_0021_0008__OIL_R_0021_0009__TRADER)
      & has_arg0(R_0021_0002__CITED,R_0021_0001__HE) ) ).