Context                Previous, Next                Top


3_a_fog_cat
It sits looking over harbor and city on silent haunches and then moves on.

%3 r_0003_0002__sits sits r_0003_0001__It It r_0003_0002__sits->r_0003_0001__It [arg0] r_0003_0010__haunches haunches r_0003_0002__sits->r_0003_0010__haunches on [clr] r_0003_0009__silent silent r_0003_0010__haunches->r_0003_0009__silent [attrib] r_0003_0003__looking looking r_0003_0003__looking->r_0003_0001__It [arg0] r_0003_0006__and and r_0003_0003__looking->r_0003_0006__and over [clr] r_0003_0005__harbor harbor r_0003_0006__and->r_0003_0005__harbor [conj1] r_0003_0007__city city r_0003_0006__and->r_0003_0007__city [conj2] r_0003_0011__and and r_0003_0013__moves moves r_0003_0011__and->r_0003_0013__moves [conj2] z_000_3_a_fog_cat_9 r_0003_0011__and->z_000_3_a_fog_cat_9 [conj1] r_0003_0013__moves->r_0003_0001__It [arg0] r_0003_0012__then then r_0003_0013__moves->r_0003_0012__then [nim] r_0003_0014__on on r_0003_0013__moves->r_0003_0014__on [clr] z_000_3_a_fog_cat_9->r_0003_0002__sits [scope] z_000_3_a_fog_cat_9->r_0003_0003__looking [restriction] 
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).


%3 z_000_3_a_fog_cat_9 r_0003_0003__looking looking z_000_3_a_fog_cat_9->r_0003_0003__looking [conj1] r_0003_0002__sits sits z_000_3_a_fog_cat_9->r_0003_0002__sits [conj2] r_0003_0001__It It r_0003_0003__looking->r_0003_0001__It [arg0] r_0003_0006__and and r_0003_0003__looking->r_0003_0006__and over [clr] r_0003_0002__sits->r_0003_0001__It [arg0] r_0003_0010__haunches haunches r_0003_0002__sits->r_0003_0010__haunches on [clr] r_0003_0013__moves moves r_0003_0014__on on r_0003_0013__moves->r_0003_0014__on [clr] r_0003_0012__then then r_0003_0013__moves->r_0003_0012__then [nim] r_0003_0013__moves->r_0003_0001__It [arg0] r_0003_0011__and and r_0003_0011__and->z_000_3_a_fog_cat_9 [conj1] r_0003_0011__and->r_0003_0013__moves [conj2] r_0003_0009__silent silent r_0003_0010__haunches->r_0003_0009__silent [attrib] r_0003_0007__city city r_0003_0006__and->r_0003_0007__city [conj2] r_0003_0005__harbor harbor r_0003_0006__and->r_0003_0005__harbor [conj1] 
fof(formula,axiom,
    ? [R_3_11_AND,Z_3_A_FOG_CAT_9,R_3_3_LOOKING,R_3_6_AND,R_3_5_HARBOR,R_3_7_CITY,R_3_2_SITS,R_3_10_HAUNCHES,R_3_9_SILENT,R_3_13_MOVES,R_3_1_IT,R_3_14_ON,R_3_12_THEN] :
      ( harbor(R_3_5_HARBOR)
      & city(R_3_7_CITY)
      & silent(R_3_9_SILENT)
      & it(R_3_1_IT)
      & on(R_3_14_ON)
      & then(R_3_12_THEN)
      & and(R_3_11_AND)
      & conj1(R_3_11_AND,Z_3_A_FOG_CAT_9)
      & z_3_a_fog_cat_9(Z_3_A_FOG_CAT_9)
      & conj1(Z_3_A_FOG_CAT_9,R_3_3_LOOKING)
      & looking(R_3_3_LOOKING,R_3_1_IT)
      & over_clr16(R_3_3_LOOKING,R_3_6_AND)
      & and(R_3_6_AND)
      & conj1(R_3_6_AND,R_3_5_HARBOR)
      & conj2(R_3_6_AND,R_3_7_CITY)
      & conj2(Z_3_A_FOG_CAT_9,R_3_2_SITS)
      & sits(R_3_2_SITS,R_3_1_IT)
      & on_clr30(R_3_2_SITS,R_3_10_HAUNCHES)
      & haunches(R_3_10_HAUNCHES)
      & attrib31(R_3_10_HAUNCHES,R_3_9_SILENT)
      & conj2(R_3_11_AND,R_3_13_MOVES)
      & moves(R_3_13_MOVES,R_3_1_IT)
      & clr45(R_3_13_MOVES,R_3_14_ON)
      & nim40(R_3_13_MOVES,R_3_12_THEN) ) ).


n3_a_fog_cat n3_a_fog_cat__1_1_1_1 It n3_a_fog_cat__1_2_1_1_1 sits n3_a_fog_cat__1_2_1_2_1_1_1 looking n3_a_fog_cat__1_2_1_2_1_2_1_1 over n3_a_fog_cat__1_2_1_2_1_2_2_1_1_1_1 harbor n3_a_fog_cat__1_2_1_2_1_2_2_1_2_1_1 and n3_a_fog_cat__1_2_1_2_1_2_2_1_2_2_1_1 city n3_a_fog_cat__1_2_1_3_1_1 on n3_a_fog_cat__1_2_1_3_2_1_1_1 silent n3_a_fog_cat__1_2_1_3_2_2_1 haunches n3_a_fog_cat__1_2_2_1_1 and n3_a_fog_cat__1_2_2_2_1_1_1 then n3_a_fog_cat__1_2_2_2_2_1 moves n3_a_fog_cat__1_2_2_2_3_1_1 on n3_a_fog_cat__1_3_1 . n3_a_fog_cat__1 IP-MAT n3_a_fog_cat__1_1 NP-SBJ n3_a_fog_cat__1->n3_a_fog_cat__1_1 n3_a_fog_cat__1_2 ILYR n3_a_fog_cat__1->n3_a_fog_cat__1_2 n3_a_fog_cat__1_3 PUNC n3_a_fog_cat__1->n3_a_fog_cat__1_3 n3_a_fog_cat__1_1_1 PRO n3_a_fog_cat__1_1->n3_a_fog_cat__1_1_1 n3_a_fog_cat__1_1_1->n3_a_fog_cat__1_1_1_1 n3_a_fog_cat__1_2_1 ILYR n3_a_fog_cat__1_2->n3_a_fog_cat__1_2_1 n3_a_fog_cat__1_2_2 CONJP n3_a_fog_cat__1_2->n3_a_fog_cat__1_2_2 n3_a_fog_cat__1_2_1_1 VBP;_Ipr_ n3_a_fog_cat__1_2_1->n3_a_fog_cat__1_2_1_1 n3_a_fog_cat__1_2_1_2 PP-SCON n3_a_fog_cat__1_2_1->n3_a_fog_cat__1_2_1_2 n3_a_fog_cat__1_2_1_3 PP-CLR n3_a_fog_cat__1_2_1->n3_a_fog_cat__1_2_1_3 n3_a_fog_cat__1_2_1_1->n3_a_fog_cat__1_2_1_1_1 n3_a_fog_cat__1_2_1_2_1 IP-PPL2 n3_a_fog_cat__1_2_1_2->n3_a_fog_cat__1_2_1_2_1 n3_a_fog_cat__1_2_1_2_1_1 VAG;_Ipr_ n3_a_fog_cat__1_2_1_2_1->n3_a_fog_cat__1_2_1_2_1_1 n3_a_fog_cat__1_2_1_2_1_2 PP-CLR n3_a_fog_cat__1_2_1_2_1->n3_a_fog_cat__1_2_1_2_1_2 n3_a_fog_cat__1_2_1_2_1_1->n3_a_fog_cat__1_2_1_2_1_1_1 n3_a_fog_cat__1_2_1_2_1_2_1 P-ROLE n3_a_fog_cat__1_2_1_2_1_2->n3_a_fog_cat__1_2_1_2_1_2_1 n3_a_fog_cat__1_2_1_2_1_2_2 NP n3_a_fog_cat__1_2_1_2_1_2->n3_a_fog_cat__1_2_1_2_1_2_2 n3_a_fog_cat__1_2_1_2_1_2_1->n3_a_fog_cat__1_2_1_2_1_2_1_1 n3_a_fog_cat__1_2_1_2_1_2_2_1 NLYR n3_a_fog_cat__1_2_1_2_1_2_2->n3_a_fog_cat__1_2_1_2_1_2_2_1 n3_a_fog_cat__1_2_1_2_1_2_2_1_1 NLYR n3_a_fog_cat__1_2_1_2_1_2_2_1->n3_a_fog_cat__1_2_1_2_1_2_2_1_1 n3_a_fog_cat__1_2_1_2_1_2_2_1_2 CONJP n3_a_fog_cat__1_2_1_2_1_2_2_1->n3_a_fog_cat__1_2_1_2_1_2_2_1_2 n3_a_fog_cat__1_2_1_2_1_2_2_1_1_1 N n3_a_fog_cat__1_2_1_2_1_2_2_1_1->n3_a_fog_cat__1_2_1_2_1_2_2_1_1_1 n3_a_fog_cat__1_2_1_2_1_2_2_1_1_1->n3_a_fog_cat__1_2_1_2_1_2_2_1_1_1_1 n3_a_fog_cat__1_2_1_2_1_2_2_1_2_1 CONJ n3_a_fog_cat__1_2_1_2_1_2_2_1_2->n3_a_fog_cat__1_2_1_2_1_2_2_1_2_1 n3_a_fog_cat__1_2_1_2_1_2_2_1_2_2 NLYR n3_a_fog_cat__1_2_1_2_1_2_2_1_2->n3_a_fog_cat__1_2_1_2_1_2_2_1_2_2 n3_a_fog_cat__1_2_1_2_1_2_2_1_2_1->n3_a_fog_cat__1_2_1_2_1_2_2_1_2_1_1 n3_a_fog_cat__1_2_1_2_1_2_2_1_2_2_1 N n3_a_fog_cat__1_2_1_2_1_2_2_1_2_2->n3_a_fog_cat__1_2_1_2_1_2_2_1_2_2_1 n3_a_fog_cat__1_2_1_2_1_2_2_1_2_2_1->n3_a_fog_cat__1_2_1_2_1_2_2_1_2_2_1_1 n3_a_fog_cat__1_2_1_3_1 P-ROLE n3_a_fog_cat__1_2_1_3->n3_a_fog_cat__1_2_1_3_1 n3_a_fog_cat__1_2_1_3_2 NP n3_a_fog_cat__1_2_1_3->n3_a_fog_cat__1_2_1_3_2 n3_a_fog_cat__1_2_1_3_1->n3_a_fog_cat__1_2_1_3_1_1 n3_a_fog_cat__1_2_1_3_2_1 ADJP n3_a_fog_cat__1_2_1_3_2->n3_a_fog_cat__1_2_1_3_2_1 n3_a_fog_cat__1_2_1_3_2_2 NS n3_a_fog_cat__1_2_1_3_2->n3_a_fog_cat__1_2_1_3_2_2 n3_a_fog_cat__1_2_1_3_2_1_1 ADJ n3_a_fog_cat__1_2_1_3_2_1->n3_a_fog_cat__1_2_1_3_2_1_1 n3_a_fog_cat__1_2_1_3_2_1_1->n3_a_fog_cat__1_2_1_3_2_1_1_1 n3_a_fog_cat__1_2_1_3_2_2->n3_a_fog_cat__1_2_1_3_2_2_1 n3_a_fog_cat__1_2_2_1 CONJ n3_a_fog_cat__1_2_2->n3_a_fog_cat__1_2_2_1 n3_a_fog_cat__1_2_2_2 ILYR n3_a_fog_cat__1_2_2->n3_a_fog_cat__1_2_2_2 n3_a_fog_cat__1_2_2_1->n3_a_fog_cat__1_2_2_1_1 n3_a_fog_cat__1_2_2_2_1 ADVP-NIM n3_a_fog_cat__1_2_2_2->n3_a_fog_cat__1_2_2_2_1 n3_a_fog_cat__1_2_2_2_2 VBP;_Ip_ n3_a_fog_cat__1_2_2_2->n3_a_fog_cat__1_2_2_2_2 n3_a_fog_cat__1_2_2_2_3 ADVP-CLR n3_a_fog_cat__1_2_2_2->n3_a_fog_cat__1_2_2_2_3 n3_a_fog_cat__1_2_2_2_1_1 ADV n3_a_fog_cat__1_2_2_2_1->n3_a_fog_cat__1_2_2_2_1_1 n3_a_fog_cat__1_2_2_2_1_1->n3_a_fog_cat__1_2_2_2_1_1_1 n3_a_fog_cat__1_2_2_2_2->n3_a_fog_cat__1_2_2_2_2_1 n3_a_fog_cat__1_2_2_2_3_1 RP n3_a_fog_cat__1_2_2_2_3->n3_a_fog_cat__1_2_2_2_3_1 n3_a_fog_cat__1_2_2_2_3_1->n3_a_fog_cat__1_2_2_2_3_1_1 n3_a_fog_cat__1_3->n3_a_fog_cat__1_3_1 
( (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))