( (IP-MAT (NP-SBJ;{THING} (PRO It;{it}))
          (ILYR (ILYR (VBP;_Ipr_ sits;{sit[on]})
                      (PP-SCON (IP-PPL2 (VAG;_Ipr_ looking;{look[over]})
                                        (PP-CLR (P-ROLE over;{over})
                                                (NP (NLYR (NLYR (N harbor;{harbor}))
                                                          (CONJP (CONJ and;{and})
                                                                 (NLYR (N city;{city}))))))))
                      (PP-CLR (P-ROLE on;{on})
                              (NP (ADJP (ADJ silent;{silent}))
                                  (NS haunches;{haunch}))))
                (CONJP (CONJ and;{and})
                       (ILYR (ADVP-NIM (ADV then;{then}))
                             (VBP;_Ip_ moves;{move[on]})
                             (ADVP-CLR (RP on;{on})))))
          (PUNC .))
  (ID 3_a_fog_cat))

arc(r_0003_0002__sits_r_0003_0008__on,r_0003_0001__It,arg0).
arc(r_0003_0002__sits_r_0003_0008__on,r_0003_0010__haunches,arg1).
arc(r_0003_0003__looking_r_0003_0004__over,r_0003_0001__It,arg0).
arc(r_0003_0003__looking_r_0003_0004__over,r_0003_0006__and,arg1).
arc(r_0003_0006__and,r_0003_0005__harbor,conj1).
arc(r_0003_0006__and,r_0003_0007__city,conj2).
arc(r_0003_0010__haunches,r_0003_0009__silent,attrib).
arc(r_0003_0011__and,r_0003_0013__moves_r_0003_0014__on,conj2).
arc(r_0003_0011__and,z_0003_5003,conj1).
arc(r_0003_0013__moves_r_0003_0014__on,r_0003_0001__It,arg0).
arc(r_0003_0013__moves_r_0003_0014__on,r_0003_0012__then,nim).
arc(z_0003_5003,r_0003_0002__sits_r_0003_0008__on,scope).
arc(z_0003_5003,r_0003_0003__looking_r_0003_0004__over,restriction).

fof(formula,axiom,
    ? [R_0003_0001__IT,R_0003_0012__THEN,R_0003_0013__MOVES_R_0003_0014__ON,R_0003_0009__SILENT,R_0003_0010__HAUNCHES,R_0003_0002__SITS_R_0003_0008__ON,R_0003_0005__HARBOR,R_0003_0007__CITY,R_0003_0006__AND,R_0003_0003__LOOKING_R_0003_0004__OVER,Z_0003_5003,R_0003_0011__AND] :
      ( r_0003_0001__It(R_0003_0001__IT)
      & r_0003_0005__harbor(R_0003_0005__HARBOR)
      & r_0003_0007__city(R_0003_0007__CITY)
      & r_0003_0009__silent(R_0003_0009__SILENT)
      & r_0003_0012__then(R_0003_0012__THEN)
      & r_0003_0011__and(R_0003_0011__AND)
      & has_conj1(R_0003_0011__AND,Z_0003_5003)
      & z_0003_5003(Z_0003_5003)
      & has_conj1(Z_0003_5003,R_0003_0003__LOOKING_R_0003_0004__OVER)
      & r_0003_0003__looking_r_0003_0004__over(R_0003_0003__LOOKING_R_0003_0004__OVER)
      & has_arg1(R_0003_0003__LOOKING_R_0003_0004__OVER,R_0003_0006__AND)
      & r_0003_0006__and(R_0003_0006__AND)
      & has_conj2(R_0003_0006__AND,R_0003_0007__CITY)
      & has_conj1(R_0003_0006__AND,R_0003_0005__HARBOR)
      & has_arg0(R_0003_0003__LOOKING_R_0003_0004__OVER,R_0003_0001__IT)
      & has_conj2(Z_0003_5003,R_0003_0002__SITS_R_0003_0008__ON)
      & r_0003_0002__sits_r_0003_0008__on(R_0003_0002__SITS_R_0003_0008__ON)
      & has_arg1(R_0003_0002__SITS_R_0003_0008__ON,R_0003_0010__HAUNCHES)
      & r_0003_0010__haunches(R_0003_0010__HAUNCHES)
      & has_attrib(R_0003_0010__HAUNCHES,R_0003_0009__SILENT)
      & has_arg0(R_0003_0002__SITS_R_0003_0008__ON,R_0003_0001__IT)
      & has_conj2(R_0003_0011__AND,R_0003_0013__MOVES_R_0003_0014__ON)
      & r_0003_0013__moves_r_0003_0014__on(R_0003_0013__MOVES_R_0003_0014__ON)
      & has_nim(R_0003_0013__MOVES_R_0003_0014__ON,R_0003_0012__THEN)
      & has_arg0(R_0003_0013__MOVES_R_0003_0014__ON,R_0003_0001__IT) ) ).