Context                Previous, Next                Top


12_a_joyce_1914
Old Cotter was sitting at the fire, smoking, when I came downstairs to supper.

%3 r_0012_0002__Cotter Cotter r_0012_0001__Old Old r_0012_0002__Cotter->r_0012_0001__Old [attrib] r_0012_0003__was was r_0012_0004__sitting sitting r_0012_0003__was->r_0012_0004__sitting [scope] r_0012_0004__sitting->r_0012_0002__Cotter [arg0] r_0012_0006__the_r_0012_0007__fire the fire r_0012_0004__sitting->r_0012_0006__the_r_0012_0007__fire at [nim] r_0012_0009__smoking smoking r_0012_0009__smoking->r_0012_0002__Cotter [arg0] r_0012_0011__when when r_0012_0013__came came r_0012_0011__when->r_0012_0013__came [restriction] z_000_12_a_joyce_1914_24 r_0012_0011__when->z_000_12_a_joyce_1914_24 [scope] r_0012_0012__I I r_0012_0013__came->r_0012_0012__I [arg0] r_0012_0014__downstairs downstairs r_0012_0013__came->r_0012_0014__downstairs [clr] z_000_12_a_joyce_1914_24->r_0012_0003__was [scope] z_000_12_a_joyce_1914_24->r_0012_0009__smoking [restriction] r_0012_0016__supper supper r_0012_0014__downstairs->r_0012_0016__supper to 
arc(r_0012_0002__Cotter, r_0012_0001__Old, attrib4).
arc(r_0012_0003__was, r_0012_0004__sitting, scope).
arc(r_0012_0004__sitting, r_0012_0002__Cotter, arg0).
arc(r_0012_0004__sitting, r_0012_0006__the_r_0012_0007__fire, r_0012_0005__at_nim17).
arc(r_0012_0009__smoking, r_0012_0002__Cotter, arg0).
arc(r_0012_0011__when, r_0012_0013__came, restriction).
arc(r_0012_0011__when, z_000_12_a_joyce_1914_24, scope).
arc(r_0012_0013__came, r_0012_0012__I, arg0).
arc(r_0012_0013__came, r_0012_0014__downstairs, clr39).
arc(r_0012_0014__downstairs, r_0012_0016__supper, r_0012_0015__to).
arc(z_000_12_a_joyce_1914_24, r_0012_0003__was, scope).
arc(z_000_12_a_joyce_1914_24, r_0012_0009__smoking, restriction).


%3 z_000_12_a_joyce_1914_24 r_0012_0009__smoking smoking z_000_12_a_joyce_1914_24->r_0012_0009__smoking [conj1] r_0012_0003__was_r_0012_0004__sitting was sitting z_000_12_a_joyce_1914_24->r_0012_0003__was_r_0012_0004__sitting [conj2] r_0012_0002__Cotter Cotter r_0012_0009__smoking->r_0012_0002__Cotter [arg0] r_0012_0003__was_r_0012_0004__sitting->r_0012_0002__Cotter [arg0] r_0012_0006__the_r_0012_0007__fire the fire r_0012_0003__was_r_0012_0004__sitting->r_0012_0006__the_r_0012_0007__fire at [nim] r_0012_0014__downstairs downstairs r_0012_0016__supper supper r_0012_0014__downstairs->r_0012_0016__supper to r_0012_0013__came came r_0012_0013__came->r_0012_0014__downstairs [clr] r_0012_0012__I I r_0012_0013__came->r_0012_0012__I [arg0] r_0012_0011__when when r_0012_0011__when->z_000_12_a_joyce_1914_24 [scope] r_0012_0011__when->r_0012_0013__came [restriction] r_0012_0001__Old Old r_0012_0002__Cotter->r_0012_0001__Old [attrib] 
fof(formula,axiom,
    ! [R_12_13_CAME,R_12_12_I,R_12_14_DOWNSTAIRS,R_12_16_SUPPER] :
      ( ( i(R_12_12_I)
        & supper(R_12_16_SUPPER)
        & came(R_12_13_CAME,R_12_12_I)
        & clr39(R_12_13_CAME,R_12_14_DOWNSTAIRS)
        & downstairs(R_12_14_DOWNSTAIRS)
        & to(R_12_14_DOWNSTAIRS,R_12_16_SUPPER) )
     => ? [Z_12_A_JOYCE_1914_24,R_12_9_SMOKING,R_12_3_WAS_SITTING,R_12_2_COTTER,R_12_1_OLD,R_12_6_THE_FIRE] :
          ( old(R_12_1_OLD)
          & the_fire(R_12_6_THE_FIRE)
          & z_12_a_joyce_1914_24(Z_12_A_JOYCE_1914_24)
          & conj1(Z_12_A_JOYCE_1914_24,R_12_9_SMOKING)
          & smoking(R_12_9_SMOKING,R_12_2_COTTER)
          & cotter(R_12_2_COTTER)
          & attrib4(R_12_2_COTTER,R_12_1_OLD)
          & conj2(Z_12_A_JOYCE_1914_24,R_12_3_WAS_SITTING)
          & was_sitting(R_12_3_WAS_SITTING,R_12_2_COTTER)
          & at_nim17(R_12_3_WAS_SITTING,R_12_6_THE_FIRE) ) ) ).


n12_a_joyce_1914 n12_a_joyce_1914__1_1_1_1_1_1 Old n12_a_joyce_1914__1_1_1_2_1 Cotter n12_a_joyce_1914__1_1_2_1 was n12_a_joyce_1914__1_1_3_1_1 sitting n12_a_joyce_1914__1_1_3_2_1_1 at n12_a_joyce_1914__1_1_3_2_2_1_1 the n12_a_joyce_1914__1_1_3_2_2_2_1 fire n12_a_joyce_1914__1_1_4_1 , n12_a_joyce_1914__1_1_5_1_1_1 smoking n12_a_joyce_1914__1_2_1 , n12_a_joyce_1914__1_3_1_1 when n12_a_joyce_1914__1_3_2_1_1_1 I n12_a_joyce_1914__1_3_2_2_1 came n12_a_joyce_1914__1_3_2_3_1_1 downstairs n12_a_joyce_1914__1_3_2_3_2_1_1 to n12_a_joyce_1914__1_3_2_3_2_2_1_1 supper n12_a_joyce_1914__1_4_1 . n12_a_joyce_1914__1 IP-MAT n12_a_joyce_1914__1_1 ILYR n12_a_joyce_1914__1->n12_a_joyce_1914__1_1 n12_a_joyce_1914__1_2 PUNC n12_a_joyce_1914__1->n12_a_joyce_1914__1_2 n12_a_joyce_1914__1_3 PP-SCON n12_a_joyce_1914__1->n12_a_joyce_1914__1_3 n12_a_joyce_1914__1_4 PUNC n12_a_joyce_1914__1->n12_a_joyce_1914__1_4 n12_a_joyce_1914__1_1_1 NP-SBJ n12_a_joyce_1914__1_1->n12_a_joyce_1914__1_1_1 n12_a_joyce_1914__1_1_2 BED;_cat_Vg_ n12_a_joyce_1914__1_1->n12_a_joyce_1914__1_1_2 n12_a_joyce_1914__1_1_3 IP-PPL-CAT n12_a_joyce_1914__1_1->n12_a_joyce_1914__1_1_3 n12_a_joyce_1914__1_1_4 PUNC n12_a_joyce_1914__1_1->n12_a_joyce_1914__1_1_4 n12_a_joyce_1914__1_1_5 PP-SCON n12_a_joyce_1914__1_1->n12_a_joyce_1914__1_1_5 n12_a_joyce_1914__1_1_1_1 ADJP n12_a_joyce_1914__1_1_1->n12_a_joyce_1914__1_1_1_1 n12_a_joyce_1914__1_1_1_2 NPR n12_a_joyce_1914__1_1_1->n12_a_joyce_1914__1_1_1_2 n12_a_joyce_1914__1_1_1_1_1 ADJ n12_a_joyce_1914__1_1_1_1->n12_a_joyce_1914__1_1_1_1_1 n12_a_joyce_1914__1_1_1_1_1->n12_a_joyce_1914__1_1_1_1_1_1 n12_a_joyce_1914__1_1_1_2->n12_a_joyce_1914__1_1_1_2_1 n12_a_joyce_1914__1_1_2->n12_a_joyce_1914__1_1_2_1 n12_a_joyce_1914__1_1_3_1 VAG;_I_ n12_a_joyce_1914__1_1_3->n12_a_joyce_1914__1_1_3_1 n12_a_joyce_1914__1_1_3_2 PP-NIM n12_a_joyce_1914__1_1_3->n12_a_joyce_1914__1_1_3_2 n12_a_joyce_1914__1_1_3_1->n12_a_joyce_1914__1_1_3_1_1 n12_a_joyce_1914__1_1_3_2_1 P-ROLE n12_a_joyce_1914__1_1_3_2->n12_a_joyce_1914__1_1_3_2_1 n12_a_joyce_1914__1_1_3_2_2 NP n12_a_joyce_1914__1_1_3_2->n12_a_joyce_1914__1_1_3_2_2 n12_a_joyce_1914__1_1_3_2_1->n12_a_joyce_1914__1_1_3_2_1_1 n12_a_joyce_1914__1_1_3_2_2_1 D n12_a_joyce_1914__1_1_3_2_2->n12_a_joyce_1914__1_1_3_2_2_1 n12_a_joyce_1914__1_1_3_2_2_2 N n12_a_joyce_1914__1_1_3_2_2->n12_a_joyce_1914__1_1_3_2_2_2 n12_a_joyce_1914__1_1_3_2_2_1->n12_a_joyce_1914__1_1_3_2_2_1_1 n12_a_joyce_1914__1_1_3_2_2_2->n12_a_joyce_1914__1_1_3_2_2_2_1 n12_a_joyce_1914__1_1_4->n12_a_joyce_1914__1_1_4_1 n12_a_joyce_1914__1_1_5_1 IP-PPL n12_a_joyce_1914__1_1_5->n12_a_joyce_1914__1_1_5_1 n12_a_joyce_1914__1_1_5_1_1 VAG;_I_ n12_a_joyce_1914__1_1_5_1->n12_a_joyce_1914__1_1_5_1_1 n12_a_joyce_1914__1_1_5_1_1->n12_a_joyce_1914__1_1_5_1_1_1 n12_a_joyce_1914__1_2->n12_a_joyce_1914__1_2_1 n12_a_joyce_1914__1_3_1 P-CONN n12_a_joyce_1914__1_3->n12_a_joyce_1914__1_3_1 n12_a_joyce_1914__1_3_2 IP-ADV n12_a_joyce_1914__1_3->n12_a_joyce_1914__1_3_2 n12_a_joyce_1914__1_3_1->n12_a_joyce_1914__1_3_1_1 n12_a_joyce_1914__1_3_2_1 NP-SBJ n12_a_joyce_1914__1_3_2->n12_a_joyce_1914__1_3_2_1 n12_a_joyce_1914__1_3_2_2 VBD;_Ip_ n12_a_joyce_1914__1_3_2->n12_a_joyce_1914__1_3_2_2 n12_a_joyce_1914__1_3_2_3 ADVP-CLR n12_a_joyce_1914__1_3_2->n12_a_joyce_1914__1_3_2_3 n12_a_joyce_1914__1_3_2_1_1 PRO n12_a_joyce_1914__1_3_2_1->n12_a_joyce_1914__1_3_2_1_1 n12_a_joyce_1914__1_3_2_1_1->n12_a_joyce_1914__1_3_2_1_1_1 n12_a_joyce_1914__1_3_2_2->n12_a_joyce_1914__1_3_2_2_1 n12_a_joyce_1914__1_3_2_3_1 ADV n12_a_joyce_1914__1_3_2_3->n12_a_joyce_1914__1_3_2_3_1 n12_a_joyce_1914__1_3_2_3_2 PP n12_a_joyce_1914__1_3_2_3->n12_a_joyce_1914__1_3_2_3_2 n12_a_joyce_1914__1_3_2_3_1->n12_a_joyce_1914__1_3_2_3_1_1 n12_a_joyce_1914__1_3_2_3_2_1 P-ROLE n12_a_joyce_1914__1_3_2_3_2->n12_a_joyce_1914__1_3_2_3_2_1 n12_a_joyce_1914__1_3_2_3_2_2 NP n12_a_joyce_1914__1_3_2_3_2->n12_a_joyce_1914__1_3_2_3_2_2 n12_a_joyce_1914__1_3_2_3_2_1->n12_a_joyce_1914__1_3_2_3_2_1_1 n12_a_joyce_1914__1_3_2_3_2_2_1 N n12_a_joyce_1914__1_3_2_3_2_2->n12_a_joyce_1914__1_3_2_3_2_2_1 n12_a_joyce_1914__1_3_2_3_2_2_1->n12_a_joyce_1914__1_3_2_3_2_2_1_1 n12_a_joyce_1914__1_4->n12_a_joyce_1914__1_4_1 
( (IP-MAT (ILYR (NP-SBJ;{COTTER} (ADJP (ADJ Old;{old}))
                                 (NPR Cotter;{Cotter}))
                (BED;_cat_Vg_ was;{be})
                (IP-PPL-CAT (VAG;_I_ sitting;{sit})
                            (PP-NIM (P-ROLE at;{at})
                                    (NP (D the;{the})
                                        (N fire;{fire}))))
                (PUNC ,)
                (PP-SCON (IP-PPL (VAG;_I_ smoking;{smoke}))))
          (PUNC ,)
          (PP-SCON (P-CONN when;{when})
                   (IP-ADV (NP-SBJ (PRO I;{I}))
                           (VBD;_Ip_ came;{come[downstairs]})
                           (ADVP-CLR (ADV downstairs;{downstairs})
                                     (PP (P-ROLE to;{to})
                                         (NP (N supper;{supper}))))))
          (PUNC .))
  (ID 12_a_joyce_1914))