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 r_0012_0002__Cotter Cotter r_0012_0001__Old Old r_0012_0002__Cotter->r_0012_0001__Old [attrib] r_0012_0003__was_r_0012_0004__sitting was sitting 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_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_r_0012_0004__sitting [conj2] z_000_12_a_joyce_1914_24->r_0012_0009__smoking [conj1] r_0012_0016__supper supper r_0012_0014__downstairs->r_0012_0016__supper to 
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_6 Old n12_a_joyce_1914_8 Cotter n12_a_joyce_1914_10 was n12_a_joyce_1914_13 sitting n12_a_joyce_1914_16 at n12_a_joyce_1914_19 the n12_a_joyce_1914_21 fire n12_a_joyce_1914_23 , n12_a_joyce_1914_27 smoking n12_a_joyce_1914_29 , n12_a_joyce_1914_32 when n12_a_joyce_1914_36 I n12_a_joyce_1914_38 came n12_a_joyce_1914_41 downstairs n12_a_joyce_1914_44 to n12_a_joyce_1914_47 supper n12_a_joyce_1914_49 . n12_a_joyce_1914_1 IP-MAT n12_a_joyce_1914_2 ILYR n12_a_joyce_1914_1->n12_a_joyce_1914_2 n12_a_joyce_1914_28 PUNC n12_a_joyce_1914_1->n12_a_joyce_1914_28 n12_a_joyce_1914_30 PP-SCON n12_a_joyce_1914_1->n12_a_joyce_1914_30 n12_a_joyce_1914_48 PUNC n12_a_joyce_1914_1->n12_a_joyce_1914_48 n12_a_joyce_1914_3 NP-SBJ n12_a_joyce_1914_2->n12_a_joyce_1914_3 n12_a_joyce_1914_9 BED;_cat_Vg_ n12_a_joyce_1914_2->n12_a_joyce_1914_9 n12_a_joyce_1914_11 IP-PPL-CAT n12_a_joyce_1914_2->n12_a_joyce_1914_11 n12_a_joyce_1914_22 PUNC n12_a_joyce_1914_2->n12_a_joyce_1914_22 n12_a_joyce_1914_24 PP-SCON n12_a_joyce_1914_2->n12_a_joyce_1914_24 n12_a_joyce_1914_4 ADJP n12_a_joyce_1914_3->n12_a_joyce_1914_4 n12_a_joyce_1914_7 NPR n12_a_joyce_1914_3->n12_a_joyce_1914_7 n12_a_joyce_1914_5 ADJ n12_a_joyce_1914_4->n12_a_joyce_1914_5 n12_a_joyce_1914_5->n12_a_joyce_1914_6 n12_a_joyce_1914_7->n12_a_joyce_1914_8 n12_a_joyce_1914_9->n12_a_joyce_1914_10 n12_a_joyce_1914_12 VAG;_I_ n12_a_joyce_1914_11->n12_a_joyce_1914_12 n12_a_joyce_1914_14 PP-NIM n12_a_joyce_1914_11->n12_a_joyce_1914_14 n12_a_joyce_1914_12->n12_a_joyce_1914_13 n12_a_joyce_1914_15 P-ROLE n12_a_joyce_1914_14->n12_a_joyce_1914_15 n12_a_joyce_1914_17 NP n12_a_joyce_1914_14->n12_a_joyce_1914_17 n12_a_joyce_1914_15->n12_a_joyce_1914_16 n12_a_joyce_1914_18 D n12_a_joyce_1914_17->n12_a_joyce_1914_18 n12_a_joyce_1914_20 N n12_a_joyce_1914_17->n12_a_joyce_1914_20 n12_a_joyce_1914_18->n12_a_joyce_1914_19 n12_a_joyce_1914_20->n12_a_joyce_1914_21 n12_a_joyce_1914_22->n12_a_joyce_1914_23 n12_a_joyce_1914_25 IP-PPL n12_a_joyce_1914_24->n12_a_joyce_1914_25 n12_a_joyce_1914_26 VAG;_I_ n12_a_joyce_1914_25->n12_a_joyce_1914_26 n12_a_joyce_1914_26->n12_a_joyce_1914_27 n12_a_joyce_1914_28->n12_a_joyce_1914_29 n12_a_joyce_1914_31 P-CONN n12_a_joyce_1914_30->n12_a_joyce_1914_31 n12_a_joyce_1914_33 IP-ADV n12_a_joyce_1914_30->n12_a_joyce_1914_33 n12_a_joyce_1914_31->n12_a_joyce_1914_32 n12_a_joyce_1914_34 NP-SBJ n12_a_joyce_1914_33->n12_a_joyce_1914_34 n12_a_joyce_1914_37 VBD;_Ip_ n12_a_joyce_1914_33->n12_a_joyce_1914_37 n12_a_joyce_1914_39 ADVP-CLR n12_a_joyce_1914_33->n12_a_joyce_1914_39 n12_a_joyce_1914_35 PRO n12_a_joyce_1914_34->n12_a_joyce_1914_35 n12_a_joyce_1914_35->n12_a_joyce_1914_36 n12_a_joyce_1914_37->n12_a_joyce_1914_38 n12_a_joyce_1914_40 ADV n12_a_joyce_1914_39->n12_a_joyce_1914_40 n12_a_joyce_1914_42 PP n12_a_joyce_1914_39->n12_a_joyce_1914_42 n12_a_joyce_1914_40->n12_a_joyce_1914_41 n12_a_joyce_1914_43 P-ROLE n12_a_joyce_1914_42->n12_a_joyce_1914_43 n12_a_joyce_1914_45 NP n12_a_joyce_1914_42->n12_a_joyce_1914_45 n12_a_joyce_1914_43->n12_a_joyce_1914_44 n12_a_joyce_1914_46 N n12_a_joyce_1914_45->n12_a_joyce_1914_46 n12_a_joyce_1914_46->n12_a_joyce_1914_47 n12_a_joyce_1914_48->n12_a_joyce_1914_49 
( (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))