( (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))

arc(r_0010_0004__have,r_0010_0002__here,r_0010_0001__From__nim).
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,attrib).
arc(r_0010_0006__views,r_0010_0008__the_r_0010_0009__lake,r_0010_0007__over).

fof(formula,axiom,
    ? [R_0010_0002__HERE,R_0010_0003__YOU,R_0010_0005__UNINTERRUPTED,R_0010_0008__THE_R_0010_0009__LAKE,R_0010_0006__VIEWS,R_0010_0004__HAVE] :
      ( r_0010_0002__here(R_0010_0002__HERE)
      & r_0010_0003__you(R_0010_0003__YOU)
      & r_0010_0005__uninterrupted(R_0010_0005__UNINTERRUPTED)
      & r_0010_0008__the_r_0010_0009__lake(R_0010_0008__THE_R_0010_0009__LAKE)
      & r_0010_0004__have(R_0010_0004__HAVE)
      & has_arg1(R_0010_0004__HAVE,R_0010_0006__VIEWS)
      & r_0010_0006__views(R_0010_0006__VIEWS)
      & has_r_0010_0007__over(R_0010_0006__VIEWS,R_0010_0008__THE_R_0010_0009__LAKE)
      & has_attrib(R_0010_0006__VIEWS,R_0010_0005__UNINTERRUPTED)
      & has_arg0(R_0010_0004__HAVE,R_0010_0003__YOU)
      & has_r_0010_0001__From__nim(R_0010_0004__HAVE,R_0010_0002__HERE) ) ).