arc(r_0136_0003__pointed, r_0136_0001__The_r_0136_0002__couple, arg0).
arc(r_0136_0003__pointed, r_0136_0005__the_r_0136_0006__valley, r_0136_0004__across_nim12).
arc(r_0136_0003__pointed, r_0136_0013__and, r_0136_0007__to_nim20).
arc(r_0136_0011__completed, r_0136_0009__recently, qual24).
arc(r_0136_0013__and, r_0136_0011__completed, attrib23).
arc(r_0136_0013__and, r_0136_0012__tunnel, conj1).
arc(r_0136_0013__and, r_0136_0014__bridge, conj2).
arc(r_0136_0016__hope, r_0136_0001__The_r_0136_0002__couple, arg0).
arc(r_0136_0016__hope, r_0136_0017__will, arg1).
arc(r_0136_0017__will, r_0136_0018__bring, scope).
arc(r_0136_0018__bring, r_0136_0013__and, arg0).
arc(r_0136_0018__bring, r_0136_0020__weekend_r_0136_0021__tourists, arg1).
arc(r_0136_0018__bring, r_0136_0023__Tokyo, r_0136_0022__from_clr67).
arc(r_0136_0020__weekend_r_0136_0021__tourists, r_0136_0019__more, attrib57).

fof(formula,axiom,
    ? [R_0136_0001__THE_R_0136_0002__COUPLE,R_0136_0005__THE_R_0136_0006__VALLEY,R_0136_0009__RECENTLY,R_0136_0011__COMPLETED,R_0136_0012__TUNNEL,R_0136_0014__BRIDGE,R_0136_0013__AND,R_0136_0003__POINTED,R_0136_0019__MORE,R_0136_0020__WEEKEND_R_0136_0021__TOURISTS,R_0136_0023__TOKYO,R_0136_0017__WILL_R_0136_0018__BRING,R_0136_0016__HOPE] :
      ( r_0136_0001__The_r_0136_0002__couple(R_0136_0001__THE_R_0136_0002__COUPLE)
      & r_0136_0005__the_r_0136_0006__valley(R_0136_0005__THE_R_0136_0006__VALLEY)
      & r_0136_0009__recently(R_0136_0009__RECENTLY)
      & r_0136_0012__tunnel(R_0136_0012__TUNNEL)
      & r_0136_0014__bridge(R_0136_0014__BRIDGE)
      & r_0136_0019__more(R_0136_0019__MORE)
      & r_0136_0023__Tokyo(R_0136_0023__TOKYO)
      & r_0136_0016__hope(R_0136_0016__HOPE)
      & has_arg1(R_0136_0016__HOPE,R_0136_0017__WILL_R_0136_0018__BRING)
      & r_0136_0017__will_r_0136_0018__bring(R_0136_0017__WILL_R_0136_0018__BRING)
      & has_r_0136_0022__from_clr67(R_0136_0017__WILL_R_0136_0018__BRING,R_0136_0023__TOKYO)
      & has_arg1(R_0136_0017__WILL_R_0136_0018__BRING,R_0136_0020__WEEKEND_R_0136_0021__TOURISTS)
      & r_0136_0020__weekend_r_0136_0021__tourists(R_0136_0020__WEEKEND_R_0136_0021__TOURISTS)
      & has_attrib57(R_0136_0020__WEEKEND_R_0136_0021__TOURISTS,R_0136_0019__MORE)
      & has_arg0(R_0136_0017__WILL_R_0136_0018__BRING,R_0136_0013__AND)
      & r_0136_0013__and(R_0136_0013__AND)
      & has_conj2(R_0136_0013__AND,R_0136_0014__BRIDGE)
      & has_conj1(R_0136_0013__AND,R_0136_0012__TUNNEL)
      & has_attrib23(R_0136_0013__AND,R_0136_0011__COMPLETED)
      & r_0136_0011__completed(R_0136_0011__COMPLETED)
      & has_qual24(R_0136_0011__COMPLETED,R_0136_0009__RECENTLY)
      & has_arg0(R_0136_0016__HOPE,R_0136_0001__THE_R_0136_0002__COUPLE)
      & r_0136_0003__pointed(R_0136_0003__POINTED)
      & has_r_0136_0007__to_nim20(R_0136_0003__POINTED,R_0136_0013__AND)
      & has_r_0136_0004__across_nim12(R_0136_0003__POINTED,R_0136_0005__THE_R_0136_0006__VALLEY)
      & has_arg0(R_0136_0003__POINTED,R_0136_0001__THE_R_0136_0002__COUPLE) ) ).

( (IP-MAT (NP-SBJ (D The;{the})
                  (N couple;{couple}))
          (VBD;__ pointed;{point})
          (PP-NIM (P-ROLE across;{across})
                  (NP (D the;{the})
                      (N valley;{valley})))
          (PP-NIM (P-ROLE to;{to})
                  (NP (D a;{a})
                      (ADJP (ADVP (ADV recently;{recently}))
                            (PUNC <hyphen>)
                            (VVN;__ completed;{complete}))
                      (NLYR (NLYR (N tunnel;{tunnel}))
                            (CONJP (CONJ and;{and})
                                   (NLYR (N bridge;{bridge}))))
                      (IP-REL (NP-SBJ (PRO they;{they}))
                              (VBP;__ hope;{hope})
                              (CP-THT-OB1 (IP-SUB (NP-SBJ *T*)
                                                  (MD;_cat_Vi_ will;{will})
                                                  (IP-PPL-CAT (VB;_Tn.pr_ bring;{bring[from]})
                                                              (NP-OB1 (ADJP (ADJR more;{more}))
                                                                      (N weekend;{weekend})
                                                                      (NS tourists;{tourist}))
                                                              (PP-CLR (P-ROLE from;{from})
                                                                      (NP (NPR Tokyo;{Tokyo})))))))))
          (PUNC .))
  (ID 136_a_stuck_japan))