TSPC 38_a_hardy

38_a_hardy_1883
Shepherdess Fennel fell back upon the intermediate plan of mingling short dances with short periods of talk and singing, so as to hinder any ungovernable rage in either.

( (IP-MAT (NP-SBJ;{WIFE} (NPR Shepherdess;{Shepherdess})
                         (NPR Fennel;{Fennel}))
          (VBD;__ fell;{fall})
          (RP back;{back})
          (PP-NIM (P-ROLE upon;{upon})
                  (NP (D the;{the})
                      (ADJP (ADJ intermediate;{intermediate}))
                      (N plan;{plan})
                      (PP (P-ROLE of;{of})
                          (IP-PPL (VAG;__ mingling;{mingle})
                                  (NP-OB1 (ADJP (ADJ short;{short}))
                                          (NS dances;{dance}))
                                  (PP-NIM (P-ROLE with;{with})
                                          (NP (ADJP (ADJ short;{short}))
                                              (NS periods;{period})
                                              (PP (P-ROLE of;{of})
                                                  (NP (NLYR (NLYR (N talk;{talk}))
                                                            (CONJP (CONJ and;{and})
                                                                   (NLYR (N singing;{singing}))))))))))))
          (PUNC ,)
          (PP-SCON (P-CONN so_as;{so_as})
                   (IP-INF (TO to;{to})
                           (VB;__ hinder;{hinder})
                           (NP-OB1 (D any;{any})
                                   (ADJP (ADJ ungovernable;{ungovernable}))
                                   (N rage;{rage})
                                   (PP (P-ROLE in;{in})
                                       (NP (Q;_nphd_ either;{either}))))))
          (PUNC .))
  (ID 38_a_hardy_1883))

arc(r_0038_0003__fell_r_0038_0004__back,r_0038_0001__Shepherdess_r_0038_0002__Fennel,arg0).
arc(r_0038_0003__fell_r_0038_0004__back,r_0038_0006__the_r_0038_0008__plan,r_0038_0005__upon__nim).
arc(r_0038_0006__the_r_0038_0008__plan,r_0038_0007__intermediate,attrib).
arc(r_0038_0006__the_r_0038_0008__plan,r_0038_0010__mingling,r_0038_0009__of).
arc(r_0038_0010__mingling,r_0038_0012__dances,arg1).
arc(r_0038_0010__mingling,r_0038_0015__periods,r_0038_0013__with__nim).
arc(r_0038_0010__mingling,z_0038_5012,arg0).
arc(r_0038_0012__dances,r_0038_0011__short,attrib).
arc(r_0038_0015__periods,r_0038_0014__short,attrib).
arc(r_0038_0015__periods,r_0038_0018__and,r_0038_0016__of).
arc(r_0038_0018__and,r_0038_0017__talk,conj1).
arc(r_0038_0018__and,r_0038_0019__singing,conj2).
arc(r_0038_0021__so_as,r_0038_0003__fell_r_0038_0004__back,scope).
arc(r_0038_0021__so_as,r_0038_0023__hinder,restriction).
arc(r_0038_0023__hinder,r_0038_0001__Shepherdess_r_0038_0002__Fennel,arg0).
arc(r_0038_0023__hinder,r_0038_0024__any_r_0038_0026__rage,arg1).
arc(r_0038_0024__any_r_0038_0026__rage,r_0038_0025__ungovernable,attrib).
arc(r_0038_0024__any_r_0038_0026__rage,z_0038_5006,r_0038_0027__in).
arc(r_0038_0028__either__quant,r_0038_0024__any_r_0038_0026__rage,scope).
arc(r_0038_0028__either__quant,z_0038_5006,restriction).

fof(formula,axiom,
    ? [R_0038_0001__SHEPHERDESS_R_0038_0002__FENNEL,R_0038_0007__INTERMEDIATE,R_0038_0011__SHORT,R_0038_0012__DANCES,R_0038_0014__SHORT,R_0038_0017__TALK,R_0038_0019__SINGING,R_0038_0018__AND,R_0038_0015__PERIODS,Z_0038_5012,R_0038_0010__MINGLING,R_0038_0006__THE_R_0038_0008__PLAN,R_0038_0003__FELL_R_0038_0004__BACK,R_0038_0021__SO_AS] :
      ( r_0038_0001__Shepherdess_r_0038_0002__Fennel(R_0038_0001__SHEPHERDESS_R_0038_0002__FENNEL)
      & r_0038_0007__intermediate(R_0038_0007__INTERMEDIATE)
      & r_0038_0011__short(R_0038_0011__SHORT)
      & r_0038_0014__short(R_0038_0014__SHORT)
      & r_0038_0017__talk(R_0038_0017__TALK)
      & r_0038_0019__singing(R_0038_0019__SINGING)
      & z_0038_5012(Z_0038_5012)
      & r_0038_0021__so_as(R_0038_0021__SO_AS)
      & ! [Z_0038_5006] :
          ( z_0038_5006(Z_0038_5006)
         => ? [R_0038_0025__UNGOVERNABLE,R_0038_0024__ANY_R_0038_0026__RAGE,R_0038_0023__HINDER] :
              ( r_0038_0025__ungovernable(R_0038_0025__UNGOVERNABLE)
              & r_0038_0023__hinder(R_0038_0023__HINDER)
              & has_arg1(R_0038_0023__HINDER,R_0038_0024__ANY_R_0038_0026__RAGE)
              & r_0038_0024__any_r_0038_0026__rage(R_0038_0024__ANY_R_0038_0026__RAGE)
              & has_r_0038_0027__in(R_0038_0024__ANY_R_0038_0026__RAGE,Z_0038_5006)
              & has_attrib(R_0038_0024__ANY_R_0038_0026__RAGE,R_0038_0025__UNGOVERNABLE)
              & has_arg0(R_0038_0023__HINDER,R_0038_0001__SHEPHERDESS_R_0038_0002__FENNEL) ) )
      & has_conj2(R_0038_0021__SO_AS,R_0038_0003__FELL_R_0038_0004__BACK)
      & r_0038_0003__fell_r_0038_0004__back(R_0038_0003__FELL_R_0038_0004__BACK)
      & has_r_0038_0005__upon__nim(R_0038_0003__FELL_R_0038_0004__BACK,R_0038_0006__THE_R_0038_0008__PLAN)
      & r_0038_0006__the_r_0038_0008__plan(R_0038_0006__THE_R_0038_0008__PLAN)
      & has_r_0038_0009__of(R_0038_0006__THE_R_0038_0008__PLAN,R_0038_0010__MINGLING)
      & r_0038_0010__mingling(R_0038_0010__MINGLING)
      & has_arg0(R_0038_0010__MINGLING,Z_0038_5012)
      & has_r_0038_0013__with__nim(R_0038_0010__MINGLING,R_0038_0015__PERIODS)
      & r_0038_0015__periods(R_0038_0015__PERIODS)
      & has_r_0038_0016__of(R_0038_0015__PERIODS,R_0038_0018__AND)
      & r_0038_0018__and(R_0038_0018__AND)
      & has_conj2(R_0038_0018__AND,R_0038_0019__SINGING)
      & has_conj1(R_0038_0018__AND,R_0038_0017__TALK)
      & has_attrib(R_0038_0015__PERIODS,R_0038_0014__SHORT)
      & has_arg1(R_0038_0010__MINGLING,R_0038_0012__DANCES)
      & r_0038_0012__dances(R_0038_0012__DANCES)
      & has_attrib(R_0038_0012__DANCES,R_0038_0011__SHORT)
      & has_attrib(R_0038_0006__THE_R_0038_0008__PLAN,R_0038_0007__INTERMEDIATE)
      & has_arg0(R_0038_0003__FELL_R_0038_0004__BACK,R_0038_0001__SHEPHERDESS_R_0038_0002__FENNEL) ) ).