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.

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

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__nim).
arc(r_0424_0007__managed,r_0424_0005__them,arg0).
arc(r_0424_0007__managed,r_0424_0014__and,arg1).
arc(r_0424_0009__pull_r_0424_0010__up,r_0424_0005__them,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_r_0424_0017__to,conj2).
arc(r_0424_0015__lay_r_0424_0017__to,r_0424_0005__them,arg0).
arc(r_0424_0015__lay_r_0424_0017__to,r_0424_0011__the_r_0424_0012__steel_r_0424_0013__cover,arg1).
arc(r_0424_0015__lay_r_0424_0017__to,r_0424_0018__one_r_0424_0019__side,arg2).

fof(formula,axiom,
    ? [R_0424_0005__THEM,R_0424_0002__THE_R_0424_0003__THREE,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_0017__TO,R_0424_0014__AND,R_0424_0007__MANAGED] :
      ( r_0424_0005__them(R_0424_0005__THEM)
      & 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_0017__TO)
      & r_0424_0015__lay_r_0424_0017__to(R_0424_0015__LAY_R_0424_0017__TO)
      & has_arg2(R_0424_0015__LAY_R_0424_0017__TO,R_0424_0018__ONE_R_0424_0019__SIDE)
      & has_arg1(R_0424_0015__LAY_R_0424_0017__TO,R_0424_0011__THE_R_0424_0012__STEEL_R_0424_0013__COVER)
      & has_arg0(R_0424_0015__LAY_R_0424_0017__TO,R_0424_0005__THEM)
      & 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_0005__THEM)
      & has_arg0(R_0424_0007__MANAGED,R_0424_0005__THEM)
      & has_r_0424_0001__Between__nim(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) ) ).