TSPC 424_a_dick

424_a_dick_1952
Between the three of them they managed to pull up the steel cover and lay it to one side.

arc(r_0424_0002__the_r_0424_0003__three, r_0424_0005__them, r_0424_0004__of).
arc(r_0424_0007__managed, r_0424_0002__the_r_0424_0003__three, r_0424_0001__Between_nim5).
arc(r_0424_0007__managed, r_0424_0006__they, arg0).
arc(r_0424_0007__managed, r_0424_0014__and, arg1).
arc(r_0424_0009__pull_r_0424_0010__up, r_0424_0006__they, arg0).
arc(r_0424_0009__pull_r_0424_0010__up, r_0424_0011__the_r_0424_0012__steel_r_0424_0013__cover, arg1).
arc(r_0424_0014__and, r_0424_0009__pull_r_0424_0010__up, conj1).
arc(r_0424_0014__and, r_0424_0015__lay, conj2).
arc(r_0424_0015__lay, r_0424_0006__they, arg0).
arc(r_0424_0015__lay, r_0424_0011__the_r_0424_0012__steel_r_0424_0013__cover, arg1).
arc(r_0424_0015__lay, r_0424_0018__one_r_0424_0019__side, r_0424_0017__to_clr49).

fof(formula,axiom,
    ? [R_0424_0005__THEM,R_0424_0002__THE_R_0424_0003__THREE,R_0424_0006__THEY,R_0424_0011__THE_R_0424_0012__STEEL_R_0424_0013__COVER,R_0424_0009__PULL_R_0424_0010__UP,R_0424_0018__ONE_R_0424_0019__SIDE,R_0424_0015__LAY,R_0424_0014__AND,R_0424_0007__MANAGED] :
      ( r_0424_0005__them(R_0424_0005__THEM)
      & r_0424_0006__they(R_0424_0006__THEY)
      & r_0424_0011__the_r_0424_0012__steel_r_0424_0013__cover(R_0424_0011__THE_R_0424_0012__STEEL_R_0424_0013__COVER)
      & r_0424_0018__one_r_0424_0019__side(R_0424_0018__ONE_R_0424_0019__SIDE)
      & r_0424_0007__managed(R_0424_0007__MANAGED)
      & has_arg1(R_0424_0007__MANAGED,R_0424_0014__AND)
      & r_0424_0014__and(R_0424_0014__AND)
      & has_conj2(R_0424_0014__AND,R_0424_0015__LAY)
      & r_0424_0015__lay(R_0424_0015__LAY)
      & has_r_0424_0017__to_clr49(R_0424_0015__LAY,R_0424_0018__ONE_R_0424_0019__SIDE)
      & has_arg1(R_0424_0015__LAY,R_0424_0011__THE_R_0424_0012__STEEL_R_0424_0013__COVER)
      & has_arg0(R_0424_0015__LAY,R_0424_0006__THEY)
      & has_conj1(R_0424_0014__AND,R_0424_0009__PULL_R_0424_0010__UP)
      & r_0424_0009__pull_r_0424_0010__up(R_0424_0009__PULL_R_0424_0010__UP)
      & has_arg1(R_0424_0009__PULL_R_0424_0010__UP,R_0424_0011__THE_R_0424_0012__STEEL_R_0424_0013__COVER)
      & has_arg0(R_0424_0009__PULL_R_0424_0010__UP,R_0424_0006__THEY)
      & has_arg0(R_0424_0007__MANAGED,R_0424_0006__THEY)
      & has_r_0424_0001__Between_nim5(R_0424_0007__MANAGED,R_0424_0002__THE_R_0424_0003__THREE)
      & r_0424_0002__the_r_0424_0003__three(R_0424_0002__THE_R_0424_0003__THREE)
      & has_r_0424_0004__of(R_0424_0002__THE_R_0424_0003__THREE,R_0424_0005__THEM) ) ).

( (IP-MAT (PP-NIM (P-ROLE Between;{between})
                  (NP (D the;{the})
                      (NUM three;{three})
                      (PP (P-ROLE of;{of})
                          (NP;{DORLE_NASHA_TANCE} (PRO them;{they})))))
          (NP-SBJ;{DORLE_NASHA_TANCE} (PRO they;{they}))
          (VBD;_Tt_ managed;{manage})
          (IP-INF-OB1 (TO to;{to})
                      (ILYR (ILYR (VB;_phr_Vn<=>p_ pull;{pull[up]})
                                  (RP up;{up})
                                  (NP-OB1;{COVER} (D the;{the})
                                                  (N steel;{steel})
                                                  (N cover;{cover})))
                            (CONJP (CONJ and;{and})
                                   (ILYR (VB;_Tn.pr_ lay;{lay[to]})
                                         (NP-OB1;{COVER} (PRO it;{it}))
                                         (PP-CLR (P-ROLE to;{to})
                                                 (NP (D one;{one})
                                                     (N side;{side})))))))
          (PUNC .))
  (ID 424_a_dick_1952))