arc(r_0003_0002__sits, r_0003_0001__It, arg0).
arc(r_0003_0002__sits, r_0003_0010__haunches, r_0003_0008__on_clr30).
arc(r_0003_0003__looking, r_0003_0001__It, arg0).
arc(r_0003_0003__looking, r_0003_0006__and, r_0003_0004__over_clr16).
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, attrib31).
arc(r_0003_0011__and, r_0003_0013__moves, conj2).
arc(r_0003_0011__and, z_000_3_a_fog_cat_9, conj1).
arc(r_0003_0013__moves, r_0003_0001__It, arg0).
arc(r_0003_0013__moves, r_0003_0012__then, nim40).
arc(r_0003_0013__moves, r_0003_0014__on, clr45).
arc(z_000_3_a_fog_cat_9, r_0003_0002__sits, scope).
arc(z_000_3_a_fog_cat_9, r_0003_0003__looking, restriction).

fof(formula,axiom,
    ? [R_0003_0001__IT,R_0003_0012__THEN,R_0003_0014__ON,R_0003_0013__MOVES,R_0003_0009__SILENT,R_0003_0010__HAUNCHES,R_0003_0002__SITS,R_0003_0005__HARBOR,R_0003_0007__CITY,R_0003_0006__AND,R_0003_0003__LOOKING,Z_000_3_A_FOG_CAT_9,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_0014__on(R_0003_0014__ON)
      & r_0003_0011__and(R_0003_0011__AND)
      & has_conj1(R_0003_0011__AND,Z_000_3_A_FOG_CAT_9)
      & z_000_3_a_fog_cat_9(Z_000_3_A_FOG_CAT_9)
      & has_conj1(Z_000_3_A_FOG_CAT_9,R_0003_0003__LOOKING)
      & r_0003_0003__looking(R_0003_0003__LOOKING)
      & has_r_0003_0004__over_clr16(R_0003_0003__LOOKING,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_0001__IT)
      & has_conj2(Z_000_3_A_FOG_CAT_9,R_0003_0002__SITS)
      & r_0003_0002__sits(R_0003_0002__SITS)
      & has_r_0003_0008__on_clr30(R_0003_0002__SITS,R_0003_0010__HAUNCHES)
      & r_0003_0010__haunches(R_0003_0010__HAUNCHES)
      & has_attrib31(R_0003_0010__HAUNCHES,R_0003_0009__SILENT)
      & has_arg0(R_0003_0002__SITS,R_0003_0001__IT)
      & has_conj2(R_0003_0011__AND,R_0003_0013__MOVES)
      & r_0003_0013__moves(R_0003_0013__MOVES)
      & has_clr45(R_0003_0013__MOVES,R_0003_0014__ON)
      & has_nim40(R_0003_0013__MOVES,R_0003_0012__THEN)
      & has_arg0(R_0003_0013__MOVES,R_0003_0001__IT) ) ).

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