TSPC 6_a_stories_09

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

( (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))

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,nim).
arc(r_0006_0002__got_r_0006_0003__on,r_0006_0006__the_r_0006_0007__bulldog,r_0006_0005__with__nim).
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_r_0006_0013__up,scope).
arc(r_0006_0012__standing_r_0006_0013__up,r_0006_0006__the_r_0006_0007__bulldog,arg0).
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_0019__sit,arg1).
arc(r_0006_0019__sit,r_0006_0006__the_r_0006_0007__bulldog,arg0).

fof(formula,axiom,
    ? [R_0006_0001__JOHN,R_0006_0004__ALRIGHT,R_0006_0006__THE_R_0006_0007__BULLDOG,R_0006_0002__GOT_R_0006_0003__ON,R_0006_0008__BUT] :
      ( r_0006_0001__John(R_0006_0001__JOHN)
      & r_0006_0004__alright(R_0006_0004__ALRIGHT)
      & r_0006_0006__the_r_0006_0007__bulldog(R_0006_0006__THE_R_0006_0007__BULLDOG)
      & r_0006_0008__but(R_0006_0008__BUT)
      & ! [R_0006_0016__TOLD,R_0006_0019__SIT] :
          ( ( r_0006_0016__told(R_0006_0016__TOLD)
            & has_arg1(R_0006_0016__TOLD,R_0006_0019__SIT)
            & r_0006_0019__sit(R_0006_0019__SIT)
            & has_arg0(R_0006_0019__SIT,R_0006_0006__THE_R_0006_0007__BULLDOG)
            & has_arg2(R_0006_0016__TOLD,R_0006_0006__THE_R_0006_0007__BULLDOG)
            & has_arg0(R_0006_0016__TOLD,R_0006_0001__JOHN) )
         => ? [R_0006_0010__KEPT_R_0006_0011__ON_R_0006_0012__STANDING_R_0006_0013__UP] :
              ( r_0006_0010__kept_r_0006_0011__on_r_0006_0012__standing_r_0006_0013__up(R_0006_0010__KEPT_R_0006_0011__ON_R_0006_0012__STANDING_R_0006_0013__UP)
              & has_arg0(R_0006_0010__KEPT_R_0006_0011__ON_R_0006_0012__STANDING_R_0006_0013__UP,R_0006_0006__THE_R_0006_0007__BULLDOG) ) )
      & has_conj1(R_0006_0008__BUT,R_0006_0002__GOT_R_0006_0003__ON)
      & r_0006_0002__got_r_0006_0003__on(R_0006_0002__GOT_R_0006_0003__ON)
      & has_r_0006_0005__with__nim(R_0006_0002__GOT_R_0006_0003__ON,R_0006_0006__THE_R_0006_0007__BULLDOG)
      & has_nim(R_0006_0002__GOT_R_0006_0003__ON,R_0006_0004__ALRIGHT)
      & has_arg0(R_0006_0002__GOT_R_0006_0003__ON,R_0006_0001__JOHN) ) ).