Context                Previous, Next                Top


160_a_loosechange
The story she told all her grandchildren was about the stranger who woke her while she was sleeping in a doorway and offered her a warm bed for the night.

%3 r_0160_0004__told told r_0160_0001__The_r_0160_0002__story The story r_0160_0004__told->r_0160_0001__The_r_0160_0002__story [arg1] r_0160_0003__she she r_0160_0004__told->r_0160_0003__she [arg0] r_0160_0007__grandchildren grandchildren r_0160_0004__told->r_0160_0007__grandchildren [arg2] r_0160_0007__grandchildren->r_0160_0003__she [gen] r_0160_0005__all_quant all [quant] r_0160_0005__all_quant->r_0160_0004__told [scope] r_0160_0005__all_quant->r_0160_0007__grandchildren [restriction] r_0160_0008__was was r_0160_0008__was->r_0160_0001__The_r_0160_0002__story [arg0] r_0160_0010__the_r_0160_0011__stranger the stranger r_0160_0008__was->r_0160_0010__the_r_0160_0011__stranger about [clr] r_0160_0013__woke woke r_0160_0013__woke->r_0160_0010__the_r_0160_0011__stranger [arg0] r_0160_0014__her her r_0160_0013__woke->r_0160_0014__her [arg1] r_0160_0015__while while r_0160_0015__while->r_0160_0013__woke [scope] r_0160_0017__was was r_0160_0015__while->r_0160_0017__was [restriction] r_0160_0018__sleeping sleeping r_0160_0017__was->r_0160_0018__sleeping [scope] r_0160_0018__sleeping->r_0160_0014__her [arg0] r_0160_0020__a_r_0160_0021__doorway a doorway r_0160_0018__sleeping->r_0160_0020__a_r_0160_0021__doorway in [nim] r_0160_0022__and and r_0160_0022__and->r_0160_0015__while [conj1] r_0160_0023__offered offered r_0160_0022__and->r_0160_0023__offered [conj2] r_0160_0023__offered->r_0160_0010__the_r_0160_0011__stranger [arg0] r_0160_0024__her her r_0160_0023__offered->r_0160_0024__her [arg2] r_0160_0025__a_r_0160_0027__bed a bed r_0160_0023__offered->r_0160_0025__a_r_0160_0027__bed [arg1] r_0160_0026__warm warm r_0160_0025__a_r_0160_0027__bed->r_0160_0026__warm [attrib] r_0160_0029__the_r_0160_0030__night the night r_0160_0025__a_r_0160_0027__bed->r_0160_0029__the_r_0160_0030__night for 
arc(r_0160_0004__told, r_0160_0001__The_r_0160_0002__story, arg1).
arc(r_0160_0004__told, r_0160_0003__she, arg0).
arc(r_0160_0004__told, r_0160_0007__grandchildren, arg2).
arc(r_0160_0005__all_quant, r_0160_0004__told, scope).
arc(r_0160_0005__all_quant, r_0160_0007__grandchildren, restriction).
arc(r_0160_0007__grandchildren, r_0160_0003__she, gen).
arc(r_0160_0008__was, r_0160_0001__The_r_0160_0002__story, arg0).
arc(r_0160_0008__was, r_0160_0010__the_r_0160_0011__stranger, r_0160_0009__about_clr28).
arc(r_0160_0013__woke, r_0160_0010__the_r_0160_0011__stranger, arg0).
arc(r_0160_0013__woke, r_0160_0014__her, arg1).
arc(r_0160_0015__while, r_0160_0013__woke, scope).
arc(r_0160_0015__while, r_0160_0017__was, restriction).
arc(r_0160_0017__was, r_0160_0018__sleeping, scope).
arc(r_0160_0018__sleeping, r_0160_0014__her, arg0).
arc(r_0160_0018__sleeping, r_0160_0020__a_r_0160_0021__doorway, r_0160_0019__in_nim59).
arc(r_0160_0022__and, r_0160_0015__while, conj1).
arc(r_0160_0022__and, r_0160_0023__offered, conj2).
arc(r_0160_0023__offered, r_0160_0010__the_r_0160_0011__stranger, arg0).
arc(r_0160_0023__offered, r_0160_0024__her, arg2).
arc(r_0160_0023__offered, r_0160_0025__a_r_0160_0027__bed, arg1).
arc(r_0160_0025__a_r_0160_0027__bed, r_0160_0026__warm, attrib76).
arc(r_0160_0025__a_r_0160_0027__bed, r_0160_0029__the_r_0160_0030__night, r_0160_0028__for).


%3 r_0160_0004__told told r_0160_0001__The_r_0160_0002__story The story r_0160_0004__told->r_0160_0001__The_r_0160_0002__story [arg1] r_0160_0003__she she r_0160_0004__told->r_0160_0003__she [arg0] r_0160_0007__grandchildren grandchildren r_0160_0004__told->r_0160_0007__grandchildren [arg2] r_0160_0007__grandchildren->r_0160_0003__she [gen] r_0160_0005__all_quant all [quant] r_0160_0005__all_quant->r_0160_0004__told [scope] r_0160_0005__all_quant->r_0160_0007__grandchildren [restriction] r_0160_0008__was was r_0160_0008__was->r_0160_0001__The_r_0160_0002__story [arg0] r_0160_0010__the_r_0160_0011__stranger the stranger r_0160_0008__was->r_0160_0010__the_r_0160_0011__stranger about [clr] r_0160_0013__woke woke r_0160_0013__woke->r_0160_0010__the_r_0160_0011__stranger [arg0] r_0160_0014__her her r_0160_0013__woke->r_0160_0014__her [arg1] r_0160_0015__while while r_0160_0015__while->r_0160_0013__woke [conj2] r_0160_0017__was_r_0160_0018__sleeping was sleeping r_0160_0015__while->r_0160_0017__was_r_0160_0018__sleeping [conj1] r_0160_0017__was_r_0160_0018__sleeping->r_0160_0014__her [arg0] r_0160_0020__a_r_0160_0021__doorway a doorway r_0160_0017__was_r_0160_0018__sleeping->r_0160_0020__a_r_0160_0021__doorway in [nim] r_0160_0022__and and r_0160_0022__and->r_0160_0015__while [conj1] r_0160_0023__offered offered r_0160_0022__and->r_0160_0023__offered [conj2] r_0160_0023__offered->r_0160_0010__the_r_0160_0011__stranger [arg0] r_0160_0024__her her r_0160_0023__offered->r_0160_0024__her [arg2] r_0160_0025__a_r_0160_0027__bed a bed r_0160_0023__offered->r_0160_0025__a_r_0160_0027__bed [arg1] r_0160_0026__warm warm r_0160_0025__a_r_0160_0027__bed->r_0160_0026__warm [attrib] r_0160_0029__the_r_0160_0030__night the night r_0160_0025__a_r_0160_0027__bed->r_0160_0029__the_r_0160_0030__night for 
fof(formula,axiom,
    ? [R_160_8_WAS,R_160_1_THE_STORY,R_160_22_AND,R_160_15_WHILE,R_160_17_WAS_SLEEPING,R_160_20_A_DOORWAY,R_160_13_WOKE,R_160_14_HER,R_160_23_OFFERED,R_160_10_THE_STRANGER,R_160_25_A_BED,R_160_26_WARM,R_160_29_THE_NIGHT,R_160_24_HER] :
      ( the_story(R_160_1_THE_STORY)
      & a_doorway(R_160_20_A_DOORWAY)
      & her(R_160_14_HER)
      & the_stranger(R_160_10_THE_STRANGER)
      & warm(R_160_26_WARM)
      & the_night(R_160_29_THE_NIGHT)
      & her(R_160_24_HER)
      & ! [R_160_7_GRANDCHILDREN,R_160_3_SHE] :
          ( ( she(R_160_3_SHE)
            & grandchildren(R_160_7_GRANDCHILDREN)
            & gen(R_160_7_GRANDCHILDREN,R_160_3_SHE) )
         => ? [R_160_4_TOLD] : told(R_160_4_TOLD,R_160_3_SHE,R_160_1_THE_STORY,R_160_7_GRANDCHILDREN) )
      & was(R_160_8_WAS,R_160_1_THE_STORY)
      & about_clr28(R_160_8_WAS,R_160_10_THE_STRANGER)
      & and(R_160_22_AND)
      & conj1(R_160_22_AND,R_160_15_WHILE)
      & while(R_160_15_WHILE)
      & conj1(R_160_15_WHILE,R_160_17_WAS_SLEEPING)
      & was_sleeping(R_160_17_WAS_SLEEPING,R_160_14_HER)
      & in_nim59(R_160_17_WAS_SLEEPING,R_160_20_A_DOORWAY)
      & conj2(R_160_15_WHILE,R_160_13_WOKE)
      & woke(R_160_13_WOKE,R_160_10_THE_STRANGER,R_160_14_HER)
      & conj2(R_160_22_AND,R_160_23_OFFERED)
      & offered(R_160_23_OFFERED,R_160_10_THE_STRANGER,R_160_25_A_BED,R_160_24_HER)
      & a_bed(R_160_25_A_BED)
      & attrib76(R_160_25_A_BED,R_160_26_WARM)
      & for(R_160_25_A_BED,R_160_29_THE_NIGHT) ) ).


n160_a_loosechange n160_a_loosechange_4 The n160_a_loosechange_6 story n160_a_loosechange_9 *T* n160_a_loosechange_12 she n160_a_loosechange_14 told n160_a_loosechange_17 all n160_a_loosechange_20 her n160_a_loosechange_22 grandchildren n160_a_loosechange_24 was n160_a_loosechange_27 about n160_a_loosechange_30 the n160_a_loosechange_32 stranger n160_a_loosechange_36 who n160_a_loosechange_40 woke n160_a_loosechange_43 her n160_a_loosechange_46 while n160_a_loosechange_50 she n160_a_loosechange_52 was n160_a_loosechange_55 sleeping n160_a_loosechange_58 in n160_a_loosechange_61 a n160_a_loosechange_63 doorway n160_a_loosechange_66 and n160_a_loosechange_69 offered n160_a_loosechange_72 her n160_a_loosechange_75 a n160_a_loosechange_78 warm n160_a_loosechange_80 bed n160_a_loosechange_83 for n160_a_loosechange_86 the n160_a_loosechange_88 night n160_a_loosechange_90 . n160_a_loosechange_1 IP-MAT n160_a_loosechange_2 NP-SBJ n160_a_loosechange_1->n160_a_loosechange_2 n160_a_loosechange_23 BED;_Ipr_ n160_a_loosechange_1->n160_a_loosechange_23 n160_a_loosechange_25 PP-CLR n160_a_loosechange_1->n160_a_loosechange_25 n160_a_loosechange_89 PUNC n160_a_loosechange_1->n160_a_loosechange_89 n160_a_loosechange_3 D n160_a_loosechange_2->n160_a_loosechange_3 n160_a_loosechange_5 N n160_a_loosechange_2->n160_a_loosechange_5 n160_a_loosechange_7 IP-REL n160_a_loosechange_2->n160_a_loosechange_7 n160_a_loosechange_3->n160_a_loosechange_4 n160_a_loosechange_5->n160_a_loosechange_6 n160_a_loosechange_8 NP-OB1 n160_a_loosechange_7->n160_a_loosechange_8 n160_a_loosechange_10 NP-SBJ n160_a_loosechange_7->n160_a_loosechange_10 n160_a_loosechange_13 VBD;__ n160_a_loosechange_7->n160_a_loosechange_13 n160_a_loosechange_15 NP-OB2 n160_a_loosechange_7->n160_a_loosechange_15 n160_a_loosechange_8->n160_a_loosechange_9 n160_a_loosechange_11 PRO n160_a_loosechange_10->n160_a_loosechange_11 n160_a_loosechange_11->n160_a_loosechange_12 n160_a_loosechange_13->n160_a_loosechange_14 n160_a_loosechange_16 Q n160_a_loosechange_15->n160_a_loosechange_16 n160_a_loosechange_18 NP-GEN n160_a_loosechange_15->n160_a_loosechange_18 n160_a_loosechange_21 NS n160_a_loosechange_15->n160_a_loosechange_21 n160_a_loosechange_16->n160_a_loosechange_17 n160_a_loosechange_19 PRO;_genm_ n160_a_loosechange_18->n160_a_loosechange_19 n160_a_loosechange_19->n160_a_loosechange_20 n160_a_loosechange_21->n160_a_loosechange_22 n160_a_loosechange_23->n160_a_loosechange_24 n160_a_loosechange_26 P-ROLE n160_a_loosechange_25->n160_a_loosechange_26 n160_a_loosechange_28 NP n160_a_loosechange_25->n160_a_loosechange_28 n160_a_loosechange_26->n160_a_loosechange_27 n160_a_loosechange_29 D n160_a_loosechange_28->n160_a_loosechange_29 n160_a_loosechange_31 N n160_a_loosechange_28->n160_a_loosechange_31 n160_a_loosechange_33 IP-REL n160_a_loosechange_28->n160_a_loosechange_33 n160_a_loosechange_29->n160_a_loosechange_30 n160_a_loosechange_31->n160_a_loosechange_32 n160_a_loosechange_34 NP-SBJ n160_a_loosechange_33->n160_a_loosechange_34 n160_a_loosechange_37 ILYR n160_a_loosechange_33->n160_a_loosechange_37 n160_a_loosechange_35 RPRO n160_a_loosechange_34->n160_a_loosechange_35 n160_a_loosechange_35->n160_a_loosechange_36 n160_a_loosechange_38 ILYR n160_a_loosechange_37->n160_a_loosechange_38 n160_a_loosechange_64 CONJP n160_a_loosechange_37->n160_a_loosechange_64 n160_a_loosechange_39 VBD;__ n160_a_loosechange_38->n160_a_loosechange_39 n160_a_loosechange_41 NP-OB1 n160_a_loosechange_38->n160_a_loosechange_41 n160_a_loosechange_44 PP-SCON n160_a_loosechange_38->n160_a_loosechange_44 n160_a_loosechange_39->n160_a_loosechange_40 n160_a_loosechange_42 PRO n160_a_loosechange_41->n160_a_loosechange_42 n160_a_loosechange_42->n160_a_loosechange_43 n160_a_loosechange_45 P-CONN n160_a_loosechange_44->n160_a_loosechange_45 n160_a_loosechange_47 IP-ADV n160_a_loosechange_44->n160_a_loosechange_47 n160_a_loosechange_45->n160_a_loosechange_46 n160_a_loosechange_48 NP-SBJ n160_a_loosechange_47->n160_a_loosechange_48 n160_a_loosechange_51 BED;_cat_Vg_ n160_a_loosechange_47->n160_a_loosechange_51 n160_a_loosechange_53 IP-PPL-CAT n160_a_loosechange_47->n160_a_loosechange_53 n160_a_loosechange_49 PRO n160_a_loosechange_48->n160_a_loosechange_49 n160_a_loosechange_49->n160_a_loosechange_50 n160_a_loosechange_51->n160_a_loosechange_52 n160_a_loosechange_54 VAG;__ n160_a_loosechange_53->n160_a_loosechange_54 n160_a_loosechange_56 PP-NIM n160_a_loosechange_53->n160_a_loosechange_56 n160_a_loosechange_54->n160_a_loosechange_55 n160_a_loosechange_57 P-ROLE n160_a_loosechange_56->n160_a_loosechange_57 n160_a_loosechange_59 NP n160_a_loosechange_56->n160_a_loosechange_59 n160_a_loosechange_57->n160_a_loosechange_58 n160_a_loosechange_60 D n160_a_loosechange_59->n160_a_loosechange_60 n160_a_loosechange_62 N n160_a_loosechange_59->n160_a_loosechange_62 n160_a_loosechange_60->n160_a_loosechange_61 n160_a_loosechange_62->n160_a_loosechange_63 n160_a_loosechange_65 CONJ n160_a_loosechange_64->n160_a_loosechange_65 n160_a_loosechange_67 ILYR n160_a_loosechange_64->n160_a_loosechange_67 n160_a_loosechange_65->n160_a_loosechange_66 n160_a_loosechange_68 VBD;_Dn.n_ n160_a_loosechange_67->n160_a_loosechange_68 n160_a_loosechange_70 NP-OB2 n160_a_loosechange_67->n160_a_loosechange_70 n160_a_loosechange_73 NP-OB1 n160_a_loosechange_67->n160_a_loosechange_73 n160_a_loosechange_68->n160_a_loosechange_69 n160_a_loosechange_71 PRO n160_a_loosechange_70->n160_a_loosechange_71 n160_a_loosechange_71->n160_a_loosechange_72 n160_a_loosechange_74 D n160_a_loosechange_73->n160_a_loosechange_74 n160_a_loosechange_76 ADJP n160_a_loosechange_73->n160_a_loosechange_76 n160_a_loosechange_79 N n160_a_loosechange_73->n160_a_loosechange_79 n160_a_loosechange_81 PP n160_a_loosechange_73->n160_a_loosechange_81 n160_a_loosechange_74->n160_a_loosechange_75 n160_a_loosechange_77 ADJ n160_a_loosechange_76->n160_a_loosechange_77 n160_a_loosechange_77->n160_a_loosechange_78 n160_a_loosechange_79->n160_a_loosechange_80 n160_a_loosechange_82 P-ROLE n160_a_loosechange_81->n160_a_loosechange_82 n160_a_loosechange_84 NP n160_a_loosechange_81->n160_a_loosechange_84 n160_a_loosechange_82->n160_a_loosechange_83 n160_a_loosechange_85 D n160_a_loosechange_84->n160_a_loosechange_85 n160_a_loosechange_87 N n160_a_loosechange_84->n160_a_loosechange_87 n160_a_loosechange_85->n160_a_loosechange_86 n160_a_loosechange_87->n160_a_loosechange_88 n160_a_loosechange_89->n160_a_loosechange_90 
( (IP-MAT (NP-SBJ (D The;{the})
                  (N story;{story})
                  (IP-REL (NP-OB1 *T*)
                          (NP-SBJ;{GRANDMA} (PRO she;{she}))
                          (VBD;__ told;{tell})
                          (NP-OB2 (Q all;{all})
                                  (NP-GEN;{GRANDMA} (PRO;_genm_ her;{her}))
                                  (NS grandchildren;{grandchild}))))
          (BED;_Ipr_ was;{be[about]})
          (PP-CLR (P-ROLE about;{about})
                  (NP (D the;{the})
                      (N stranger;{stranger})
                      (IP-REL (NP-SBJ (RPRO who;{who}))
                              (ILYR (ILYR (VBD;__ woke;{wake})
                                          (NP-OB1;{GRANDMA} (PRO her;{her}))
                                          (PP-SCON (P-CONN while;{while})
                                                   (IP-ADV (NP-SBJ;{GRANDMA} (PRO she;{she}))
                                                           (BED;_cat_Vg_ was;{be})
                                                           (IP-PPL-CAT (VAG;__ sleeping;{sleep})
                                                                       (PP-NIM (P-ROLE in;{in})
                                                                               (NP (D a;{a})
                                                                                   (N doorway;{doorway})))))))
                                    (CONJP (CONJ and;{and})
                                           (ILYR (VBD;_Dn.n_ offered;{offer})
                                                 (NP-OB2;{GRANDMA} (PRO her;{her}))
                                                 (NP-OB1 (D a;{a})
                                                         (ADJP (ADJ warm;{warm}))
                                                         (N bed;{bed})
                                                         (PP (P-ROLE for;{for})
                                                             (NP (D the;{the})
                                                                 (N night;{night}))))))))))
          (PUNC .))
  (ID 160_a_loosechange))