Context                Previous, Next                Top


6_a_stories_09_m12
John got on alright with the bulldog but it kept on standing up when he told it to sit.

%3 r_0006_0002__got_r_0006_0003__on got on r_0006_0001__John John r_0006_0002__got_r_0006_0003__on->r_0006_0001__John [arg0] r_0006_0004__alright alright r_0006_0002__got_r_0006_0003__on->r_0006_0004__alright [nim] r_0006_0006__the_r_0006_0007__bulldog the bulldog r_0006_0002__got_r_0006_0003__on->r_0006_0006__the_r_0006_0007__bulldog with [nim] r_0006_0008__but but r_0006_0008__but->r_0006_0002__got_r_0006_0003__on [conj1] r_0006_0014__when when r_0006_0008__but->r_0006_0014__when [conj2] r_0006_0010__kept_r_0006_0011__on kept on r_0006_0014__when->r_0006_0010__kept_r_0006_0011__on [scope] r_0006_0016__told told r_0006_0014__when->r_0006_0016__told [restriction] r_0006_0012__standing standing r_0006_0010__kept_r_0006_0011__on->r_0006_0012__standing [scope] r_0006_0012__standing->r_0006_0006__the_r_0006_0007__bulldog [arg0] r_0006_0013__up up r_0006_0012__standing->r_0006_0013__up [clr] r_0006_0016__told->r_0006_0001__John [arg0] r_0006_0016__told->r_0006_0006__the_r_0006_0007__bulldog [arg2] r_0006_0018__to_r_0006_0019__sit to sit r_0006_0016__told->r_0006_0018__to_r_0006_0019__sit [arg1] r_0006_0018__to_r_0006_0019__sit->r_0006_0006__the_r_0006_0007__bulldog [arg0] 
arc(r_0006_0002__got_r_0006_0003__on, r_0006_0001__John, arg0).
arc(r_0006_0002__got_r_0006_0003__on, r_0006_0004__alright, nim11).
arc(r_0006_0002__got_r_0006_0003__on, r_0006_0006__the_r_0006_0007__bulldog, r_0006_0005__with_nim17).
arc(r_0006_0008__but, r_0006_0002__got_r_0006_0003__on, conj1).
arc(r_0006_0008__but, r_0006_0014__when, conj2).
arc(r_0006_0010__kept_r_0006_0011__on, r_0006_0012__standing, scope).
arc(r_0006_0012__standing, r_0006_0006__the_r_0006_0007__bulldog, arg0).
arc(r_0006_0012__standing, r_0006_0013__up, clr36).
arc(r_0006_0014__when, r_0006_0010__kept_r_0006_0011__on, scope).
arc(r_0006_0014__when, r_0006_0016__told, restriction).
arc(r_0006_0016__told, r_0006_0001__John, arg0).
arc(r_0006_0016__told, r_0006_0006__the_r_0006_0007__bulldog, arg2).
arc(r_0006_0016__told, r_0006_0018__to_r_0006_0019__sit, arg1).
arc(r_0006_0018__to_r_0006_0019__sit, r_0006_0006__the_r_0006_0007__bulldog, arg0).


%3 r_0006_0002__got_r_0006_0003__on got on r_0006_0001__John John r_0006_0002__got_r_0006_0003__on->r_0006_0001__John [arg0] r_0006_0004__alright alright r_0006_0002__got_r_0006_0003__on->r_0006_0004__alright [nim] r_0006_0006__the_r_0006_0007__bulldog the bulldog r_0006_0002__got_r_0006_0003__on->r_0006_0006__the_r_0006_0007__bulldog with [nim] r_0006_0008__but but r_0006_0008__but->r_0006_0002__got_r_0006_0003__on [conj1] r_0006_0014__when when r_0006_0008__but->r_0006_0014__when [conj2] r_0006_0010__kept_r_0006_0011__on_r_0006_0012__standing kept on standing r_0006_0014__when->r_0006_0010__kept_r_0006_0011__on_r_0006_0012__standing [scope] r_0006_0016__told told r_0006_0014__when->r_0006_0016__told [restriction] r_0006_0010__kept_r_0006_0011__on_r_0006_0012__standing->r_0006_0006__the_r_0006_0007__bulldog [arg0] r_0006_0013__up up r_0006_0010__kept_r_0006_0011__on_r_0006_0012__standing->r_0006_0013__up [clr] r_0006_0016__told->r_0006_0001__John [arg0] r_0006_0016__told->r_0006_0006__the_r_0006_0007__bulldog [arg2] r_0006_0018__to_r_0006_0019__sit to sit r_0006_0016__told->r_0006_0018__to_r_0006_0019__sit [arg1] r_0006_0018__to_r_0006_0019__sit->r_0006_0006__the_r_0006_0007__bulldog [arg0] 
fof(formula,axiom,
    ? [R_6_8_BUT,R_6_2_GOT_ON,R_6_1_JOHN,R_6_4_ALRIGHT,R_6_6_THE_BULLDOG] :
      ( john(R_6_1_JOHN)
      & alright(R_6_4_ALRIGHT)
      & the_bulldog(R_6_6_THE_BULLDOG)
      & ! [R_6_16_TOLD,R_6_18_TO_SIT] :
          ( ( told(R_6_16_TOLD,R_6_1_JOHN,R_6_18_TO_SIT,R_6_6_THE_BULLDOG)
            & to_sit(R_6_18_TO_SIT,R_6_6_THE_BULLDOG) )
         => ? [R_6_10_KEPT_ON_STANDING,R_6_13_UP] :
              ( up(R_6_13_UP)
              & kept_on_standing(R_6_10_KEPT_ON_STANDING,R_6_6_THE_BULLDOG)
              & clr36(R_6_10_KEPT_ON_STANDING,R_6_13_UP) ) )
      & conj2(CONJ2)
      & but(R_6_8_BUT)
      & conj1(R_6_8_BUT,R_6_2_GOT_ON)
      & got_on(R_6_2_GOT_ON,R_6_1_JOHN)
      & nim11(R_6_2_GOT_ON,R_6_4_ALRIGHT)
      & with_nim17(R_6_2_GOT_ON,R_6_6_THE_BULLDOG) ) ).


n6_a_stories_09_m12 n6_a_stories_09_m12_6 John n6_a_stories_09_m12_8 got n6_a_stories_09_m12_10 on n6_a_stories_09_m12_13 alright n6_a_stories_09_m12_16 with n6_a_stories_09_m12_19 the n6_a_stories_09_m12_21 bulldog n6_a_stories_09_m12_24 but n6_a_stories_09_m12_28 it n6_a_stories_09_m12_30 kept n6_a_stories_09_m12_32 on n6_a_stories_09_m12_35 standing n6_a_stories_09_m12_38 up n6_a_stories_09_m12_41 when n6_a_stories_09_m12_45 he n6_a_stories_09_m12_47 told n6_a_stories_09_m12_50 it n6_a_stories_09_m12_53 to n6_a_stories_09_m12_55 sit n6_a_stories_09_m12_57 . n6_a_stories_09_m12_1 IP-MAT n6_a_stories_09_m12_2 ILYR n6_a_stories_09_m12_1->n6_a_stories_09_m12_2 n6_a_stories_09_m12_56 PUNC n6_a_stories_09_m12_1->n6_a_stories_09_m12_56 n6_a_stories_09_m12_3 ILYR n6_a_stories_09_m12_2->n6_a_stories_09_m12_3 n6_a_stories_09_m12_22 CONJP n6_a_stories_09_m12_2->n6_a_stories_09_m12_22 n6_a_stories_09_m12_4 NP-SBJ n6_a_stories_09_m12_3->n6_a_stories_09_m12_4 n6_a_stories_09_m12_7 VBD;_phr_Vp_ n6_a_stories_09_m12_3->n6_a_stories_09_m12_7 n6_a_stories_09_m12_9 RP n6_a_stories_09_m12_3->n6_a_stories_09_m12_9 n6_a_stories_09_m12_11 ADVP-NIM n6_a_stories_09_m12_3->n6_a_stories_09_m12_11 n6_a_stories_09_m12_14 PP-NIM n6_a_stories_09_m12_3->n6_a_stories_09_m12_14 n6_a_stories_09_m12_5 NPR n6_a_stories_09_m12_4->n6_a_stories_09_m12_5 n6_a_stories_09_m12_5->n6_a_stories_09_m12_6 n6_a_stories_09_m12_7->n6_a_stories_09_m12_8 n6_a_stories_09_m12_9->n6_a_stories_09_m12_10 n6_a_stories_09_m12_12 ADV n6_a_stories_09_m12_11->n6_a_stories_09_m12_12 n6_a_stories_09_m12_12->n6_a_stories_09_m12_13 n6_a_stories_09_m12_15 P-ROLE n6_a_stories_09_m12_14->n6_a_stories_09_m12_15 n6_a_stories_09_m12_17 NP n6_a_stories_09_m12_14->n6_a_stories_09_m12_17 n6_a_stories_09_m12_15->n6_a_stories_09_m12_16 n6_a_stories_09_m12_18 D n6_a_stories_09_m12_17->n6_a_stories_09_m12_18 n6_a_stories_09_m12_20 N n6_a_stories_09_m12_17->n6_a_stories_09_m12_20 n6_a_stories_09_m12_18->n6_a_stories_09_m12_19 n6_a_stories_09_m12_20->n6_a_stories_09_m12_21 n6_a_stories_09_m12_23 CONJ n6_a_stories_09_m12_22->n6_a_stories_09_m12_23 n6_a_stories_09_m12_25 ILYR n6_a_stories_09_m12_22->n6_a_stories_09_m12_25 n6_a_stories_09_m12_23->n6_a_stories_09_m12_24 n6_a_stories_09_m12_26 NP-SBJ n6_a_stories_09_m12_25->n6_a_stories_09_m12_26 n6_a_stories_09_m12_29 VBD;_cat_Vp.g_ n6_a_stories_09_m12_25->n6_a_stories_09_m12_29 n6_a_stories_09_m12_31 RP n6_a_stories_09_m12_25->n6_a_stories_09_m12_31 n6_a_stories_09_m12_33 IP-PPL-CAT n6_a_stories_09_m12_25->n6_a_stories_09_m12_33 n6_a_stories_09_m12_39 PP-SCON n6_a_stories_09_m12_25->n6_a_stories_09_m12_39 n6_a_stories_09_m12_27 PRO n6_a_stories_09_m12_26->n6_a_stories_09_m12_27 n6_a_stories_09_m12_27->n6_a_stories_09_m12_28 n6_a_stories_09_m12_29->n6_a_stories_09_m12_30 n6_a_stories_09_m12_31->n6_a_stories_09_m12_32 n6_a_stories_09_m12_34 VAG;_phr_Vp_ n6_a_stories_09_m12_33->n6_a_stories_09_m12_34 n6_a_stories_09_m12_36 ADVP-CLR n6_a_stories_09_m12_33->n6_a_stories_09_m12_36 n6_a_stories_09_m12_34->n6_a_stories_09_m12_35 n6_a_stories_09_m12_37 RP n6_a_stories_09_m12_36->n6_a_stories_09_m12_37 n6_a_stories_09_m12_37->n6_a_stories_09_m12_38 n6_a_stories_09_m12_40 P-CONN n6_a_stories_09_m12_39->n6_a_stories_09_m12_40 n6_a_stories_09_m12_42 IP-ADV n6_a_stories_09_m12_39->n6_a_stories_09_m12_42 n6_a_stories_09_m12_40->n6_a_stories_09_m12_41 n6_a_stories_09_m12_43 NP-SBJ n6_a_stories_09_m12_42->n6_a_stories_09_m12_43 n6_a_stories_09_m12_46 VBD;_Dn.t_ n6_a_stories_09_m12_42->n6_a_stories_09_m12_46 n6_a_stories_09_m12_48 NP-OB2 n6_a_stories_09_m12_42->n6_a_stories_09_m12_48 n6_a_stories_09_m12_51 IP-INF-OB1 n6_a_stories_09_m12_42->n6_a_stories_09_m12_51 n6_a_stories_09_m12_44 PRO n6_a_stories_09_m12_43->n6_a_stories_09_m12_44 n6_a_stories_09_m12_44->n6_a_stories_09_m12_45 n6_a_stories_09_m12_46->n6_a_stories_09_m12_47 n6_a_stories_09_m12_49 PRO n6_a_stories_09_m12_48->n6_a_stories_09_m12_49 n6_a_stories_09_m12_49->n6_a_stories_09_m12_50 n6_a_stories_09_m12_52 TO n6_a_stories_09_m12_51->n6_a_stories_09_m12_52 n6_a_stories_09_m12_54 VB;_I_ n6_a_stories_09_m12_51->n6_a_stories_09_m12_54 n6_a_stories_09_m12_52->n6_a_stories_09_m12_53 n6_a_stories_09_m12_54->n6_a_stories_09_m12_55 n6_a_stories_09_m12_56->n6_a_stories_09_m12_57 
( (IP-MAT (ILYR (ILYR (NP-SBJ;{JOHN} (NPR John;{John}))
                      (VBD;_phr_Vp_ got;{get[on]})
                      (RP on;{on})
                      (ADVP-NIM (ADV alright;{alright}))
                      (PP-NIM (P-ROLE with;{with})
                              (NP;{BULLDOG} (D the;{the})
                                            (N bulldog;{bulldog}))))
                (CONJP (CONJ but;{but})
                       (ILYR (NP-SBJ;{BULLDOG} (PRO it;{it}))
                             (VBD;_cat_Vp.g_ kept;{keep[on]})
                             (RP on;{on})
                             (IP-PPL-CAT (VAG;_phr_Vp_ standing;{stand[up]})
                                         (ADVP-CLR (RP up;{up})))
                             (PP-SCON (P-CONN when;{when})
                                      (IP-ADV (NP-SBJ;{JOHN} (PRO he;{he}))
                                              (VBD;_Dn.t_ told;{tell})
                                              (NP-OB2;{BULLDOG} (PRO it;{it}))
                                              (IP-INF-OB1 (TO to;{to})
                                                          (VB;_I_ sit;{sit})))))))
          (PUNC .))
  (ID 6_a_stories_09_m12))