arc(r_0010_0004__have, r_0010_0002__here, r_0010_0001__From_nim5).
arc(r_0010_0004__have, r_0010_0003__you, arg0).
arc(r_0010_0004__have, r_0010_0006__views, arg1).
arc(r_0010_0006__views, r_0010_0005__uninterrupted, attrib14).
arc(r_0010_0006__views, r_0010_0008__the_r_0010_0009__lake, r_0010_0007__over).

fof(formula,axiom,
    ? [R_10_4_HAVE,R_10_3_YOU,R_10_6_VIEWS,R_10_5_UNINTERRUPTED,R_10_8_THE_LAKE,R_10_2_HERE] :
      ( you(R_10_3_YOU)
      & uninterrupted(R_10_5_UNINTERRUPTED)
      & the_lake(R_10_8_THE_LAKE)
      & here(R_10_2_HERE)
      & have(R_10_4_HAVE,R_10_3_YOU,R_10_6_VIEWS)
      & views(R_10_6_VIEWS)
      & attrib14(R_10_6_VIEWS,R_10_5_UNINTERRUPTED)
      & over(R_10_6_VIEWS,R_10_8_THE_LAKE)
      & from_nim5(R_10_4_HAVE,R_10_2_HERE) ) ).

( (IP-MAT (PP-NIM (P-ROLE From;{from})
                  (ADVP;{PICNIC_SITE} (ADV here;{here})))
          (NP-SBJ (PRO you;{you}))
          (HVP;_Tn_ have;{have})
          (NP-OB1 (ADJP (ADJ uninterrupted;{uninterrupted}))
                  (NS views;{view})
                  (PP (P-ROLE over;{over})
                      (NP (D the;{the})
                          (N lake;{lake}))))
          (PUNC .))
  (ID 10_a_maptext))