Context                Previous, Next                Top


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

%3 r_0424_0002__the_r_0424_0003__three the three r_0424_0005__them them r_0424_0002__the_r_0424_0003__three->r_0424_0005__them of r_0424_0007__managed managed r_0424_0007__managed->r_0424_0002__the_r_0424_0003__three Between [nim] r_0424_0006__they they r_0424_0007__managed->r_0424_0006__they [arg0] r_0424_0014__and and r_0424_0007__managed->r_0424_0014__and [arg1] r_0424_0009__pull_r_0424_0010__up pull up r_0424_0014__and->r_0424_0009__pull_r_0424_0010__up [conj1] r_0424_0015__lay lay r_0424_0014__and->r_0424_0015__lay [conj2] r_0424_0009__pull_r_0424_0010__up->r_0424_0006__they [arg0] r_0424_0011__the_r_0424_0012__steel_r_0424_0013__cover the steel cover r_0424_0009__pull_r_0424_0010__up->r_0424_0011__the_r_0424_0012__steel_r_0424_0013__cover [arg1] r_0424_0015__lay->r_0424_0006__they [arg0] r_0424_0015__lay->r_0424_0011__the_r_0424_0012__steel_r_0424_0013__cover [arg1] r_0424_0018__one_r_0424_0019__side one side r_0424_0015__lay->r_0424_0018__one_r_0424_0019__side to [clr] 
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).


%3 r_0424_0015__lay lay r_0424_0018__one_r_0424_0019__side one side r_0424_0015__lay->r_0424_0018__one_r_0424_0019__side to [clr] r_0424_0011__the_r_0424_0012__steel_r_0424_0013__cover the steel cover r_0424_0015__lay->r_0424_0011__the_r_0424_0012__steel_r_0424_0013__cover [arg1] r_0424_0006__they they r_0424_0015__lay->r_0424_0006__they [arg0] r_0424_0014__and and r_0424_0014__and->r_0424_0015__lay [conj2] r_0424_0009__pull_r_0424_0010__up pull up r_0424_0014__and->r_0424_0009__pull_r_0424_0010__up [conj1] r_0424_0009__pull_r_0424_0010__up->r_0424_0011__the_r_0424_0012__steel_r_0424_0013__cover [arg1] r_0424_0009__pull_r_0424_0010__up->r_0424_0006__they [arg0] r_0424_0007__managed managed r_0424_0007__managed->r_0424_0006__they [arg0] r_0424_0007__managed->r_0424_0014__and [arg1] r_0424_0002__the_r_0424_0003__three the three r_0424_0007__managed->r_0424_0002__the_r_0424_0003__three Between [nim] r_0424_0005__them them r_0424_0002__the_r_0424_0003__three->r_0424_0005__them of 
fof(formula,axiom,
    ? [R_424_7_MANAGED,R_424_14_AND,R_424_9_PULL_UP,R_424_15_LAY,R_424_6_THEY,R_424_11_THE_STEEL_COVER,R_424_18_ONE_SIDE,R_424_2_THE_THREE,R_424_5_THEM] :
      ( they(R_424_6_THEY)
      & the_steel_cover(R_424_11_THE_STEEL_COVER)
      & one_side(R_424_18_ONE_SIDE)
      & them(R_424_5_THEM)
      & managed(R_424_7_MANAGED,R_424_6_THEY,R_424_14_AND)
      & and(R_424_14_AND)
      & conj1(R_424_14_AND,R_424_9_PULL_UP)
      & pull_up(R_424_9_PULL_UP,R_424_6_THEY,R_424_11_THE_STEEL_COVER)
      & conj2(R_424_14_AND,R_424_15_LAY)
      & lay(R_424_15_LAY,R_424_6_THEY,R_424_11_THE_STEEL_COVER)
      & to_clr49(R_424_15_LAY,R_424_18_ONE_SIDE)
      & between_nim5(R_424_7_MANAGED,R_424_2_THE_THREE)
      & the_three(R_424_2_THE_THREE)
      & of(R_424_2_THE_THREE,R_424_5_THEM) ) ).


n424_a_dick_1952 n424_a_dick_1952__1_1_1_1 Between n424_a_dick_1952__1_1_2_1_1 the n424_a_dick_1952__1_1_2_2_1 three n424_a_dick_1952__1_1_2_3_1_1 of n424_a_dick_1952__1_1_2_3_2_1_1 them n424_a_dick_1952__1_2_1_1 they n424_a_dick_1952__1_3_1 managed n424_a_dick_1952__1_4_1_1 to n424_a_dick_1952__1_4_2_1_1_1 pull n424_a_dick_1952__1_4_2_1_2_1 up n424_a_dick_1952__1_4_2_1_3_1_1 the n424_a_dick_1952__1_4_2_1_3_2_1 steel n424_a_dick_1952__1_4_2_1_3_3_1 cover n424_a_dick_1952__1_4_2_2_1_1 and n424_a_dick_1952__1_4_2_2_2_1_1 lay n424_a_dick_1952__1_4_2_2_2_2_1_1 it n424_a_dick_1952__1_4_2_2_2_3_1_1 to n424_a_dick_1952__1_4_2_2_2_3_2_1_1 one n424_a_dick_1952__1_4_2_2_2_3_2_2_1 side n424_a_dick_1952__1_5_1 . n424_a_dick_1952__1 IP-MAT n424_a_dick_1952__1_1 PP-NIM n424_a_dick_1952__1->n424_a_dick_1952__1_1 n424_a_dick_1952__1_2 NP-SBJ n424_a_dick_1952__1->n424_a_dick_1952__1_2 n424_a_dick_1952__1_3 VBD;_Tt_ n424_a_dick_1952__1->n424_a_dick_1952__1_3 n424_a_dick_1952__1_4 IP-INF-OB1 n424_a_dick_1952__1->n424_a_dick_1952__1_4 n424_a_dick_1952__1_5 PUNC n424_a_dick_1952__1->n424_a_dick_1952__1_5 n424_a_dick_1952__1_1_1 P-ROLE n424_a_dick_1952__1_1->n424_a_dick_1952__1_1_1 n424_a_dick_1952__1_1_2 NP n424_a_dick_1952__1_1->n424_a_dick_1952__1_1_2 n424_a_dick_1952__1_1_1->n424_a_dick_1952__1_1_1_1 n424_a_dick_1952__1_1_2_1 D n424_a_dick_1952__1_1_2->n424_a_dick_1952__1_1_2_1 n424_a_dick_1952__1_1_2_2 NUM n424_a_dick_1952__1_1_2->n424_a_dick_1952__1_1_2_2 n424_a_dick_1952__1_1_2_3 PP n424_a_dick_1952__1_1_2->n424_a_dick_1952__1_1_2_3 n424_a_dick_1952__1_1_2_1->n424_a_dick_1952__1_1_2_1_1 n424_a_dick_1952__1_1_2_2->n424_a_dick_1952__1_1_2_2_1 n424_a_dick_1952__1_1_2_3_1 P-ROLE n424_a_dick_1952__1_1_2_3->n424_a_dick_1952__1_1_2_3_1 n424_a_dick_1952__1_1_2_3_2 NP n424_a_dick_1952__1_1_2_3->n424_a_dick_1952__1_1_2_3_2 n424_a_dick_1952__1_1_2_3_1->n424_a_dick_1952__1_1_2_3_1_1 n424_a_dick_1952__1_1_2_3_2_1 PRO n424_a_dick_1952__1_1_2_3_2->n424_a_dick_1952__1_1_2_3_2_1 n424_a_dick_1952__1_1_2_3_2_1->n424_a_dick_1952__1_1_2_3_2_1_1 n424_a_dick_1952__1_2_1 PRO n424_a_dick_1952__1_2->n424_a_dick_1952__1_2_1 n424_a_dick_1952__1_2_1->n424_a_dick_1952__1_2_1_1 n424_a_dick_1952__1_3->n424_a_dick_1952__1_3_1 n424_a_dick_1952__1_4_1 TO n424_a_dick_1952__1_4->n424_a_dick_1952__1_4_1 n424_a_dick_1952__1_4_2 ILYR n424_a_dick_1952__1_4->n424_a_dick_1952__1_4_2 n424_a_dick_1952__1_4_1->n424_a_dick_1952__1_4_1_1 n424_a_dick_1952__1_4_2_1 ILYR n424_a_dick_1952__1_4_2->n424_a_dick_1952__1_4_2_1 n424_a_dick_1952__1_4_2_2 CONJP n424_a_dick_1952__1_4_2->n424_a_dick_1952__1_4_2_2 n424_a_dick_1952__1_4_2_1_1 VB;_phr_Vn<=>p_ n424_a_dick_1952__1_4_2_1->n424_a_dick_1952__1_4_2_1_1 n424_a_dick_1952__1_4_2_1_2 RP n424_a_dick_1952__1_4_2_1->n424_a_dick_1952__1_4_2_1_2 n424_a_dick_1952__1_4_2_1_3 NP-OB1 n424_a_dick_1952__1_4_2_1->n424_a_dick_1952__1_4_2_1_3 n424_a_dick_1952__1_4_2_1_1->n424_a_dick_1952__1_4_2_1_1_1 n424_a_dick_1952__1_4_2_1_2->n424_a_dick_1952__1_4_2_1_2_1 n424_a_dick_1952__1_4_2_1_3_1 D n424_a_dick_1952__1_4_2_1_3->n424_a_dick_1952__1_4_2_1_3_1 n424_a_dick_1952__1_4_2_1_3_2 N n424_a_dick_1952__1_4_2_1_3->n424_a_dick_1952__1_4_2_1_3_2 n424_a_dick_1952__1_4_2_1_3_3 N n424_a_dick_1952__1_4_2_1_3->n424_a_dick_1952__1_4_2_1_3_3 n424_a_dick_1952__1_4_2_1_3_1->n424_a_dick_1952__1_4_2_1_3_1_1 n424_a_dick_1952__1_4_2_1_3_2->n424_a_dick_1952__1_4_2_1_3_2_1 n424_a_dick_1952__1_4_2_1_3_3->n424_a_dick_1952__1_4_2_1_3_3_1 n424_a_dick_1952__1_4_2_2_1 CONJ n424_a_dick_1952__1_4_2_2->n424_a_dick_1952__1_4_2_2_1 n424_a_dick_1952__1_4_2_2_2 ILYR n424_a_dick_1952__1_4_2_2->n424_a_dick_1952__1_4_2_2_2 n424_a_dick_1952__1_4_2_2_1->n424_a_dick_1952__1_4_2_2_1_1 n424_a_dick_1952__1_4_2_2_2_1 VB;_Tn.pr_ n424_a_dick_1952__1_4_2_2_2->n424_a_dick_1952__1_4_2_2_2_1 n424_a_dick_1952__1_4_2_2_2_2 NP-OB1 n424_a_dick_1952__1_4_2_2_2->n424_a_dick_1952__1_4_2_2_2_2 n424_a_dick_1952__1_4_2_2_2_3 PP-CLR n424_a_dick_1952__1_4_2_2_2->n424_a_dick_1952__1_4_2_2_2_3 n424_a_dick_1952__1_4_2_2_2_1->n424_a_dick_1952__1_4_2_2_2_1_1 n424_a_dick_1952__1_4_2_2_2_2_1 PRO n424_a_dick_1952__1_4_2_2_2_2->n424_a_dick_1952__1_4_2_2_2_2_1 n424_a_dick_1952__1_4_2_2_2_2_1->n424_a_dick_1952__1_4_2_2_2_2_1_1 n424_a_dick_1952__1_4_2_2_2_3_1 P-ROLE n424_a_dick_1952__1_4_2_2_2_3->n424_a_dick_1952__1_4_2_2_2_3_1 n424_a_dick_1952__1_4_2_2_2_3_2 NP n424_a_dick_1952__1_4_2_2_2_3->n424_a_dick_1952__1_4_2_2_2_3_2 n424_a_dick_1952__1_4_2_2_2_3_1->n424_a_dick_1952__1_4_2_2_2_3_1_1 n424_a_dick_1952__1_4_2_2_2_3_2_1 D n424_a_dick_1952__1_4_2_2_2_3_2->n424_a_dick_1952__1_4_2_2_2_3_2_1 n424_a_dick_1952__1_4_2_2_2_3_2_2 N n424_a_dick_1952__1_4_2_2_2_3_2->n424_a_dick_1952__1_4_2_2_2_3_2_2 n424_a_dick_1952__1_4_2_2_2_3_2_1->n424_a_dick_1952__1_4_2_2_2_3_2_1_1 n424_a_dick_1952__1_4_2_2_2_3_2_2->n424_a_dick_1952__1_4_2_2_2_3_2_2_1 n424_a_dick_1952__1_5->n424_a_dick_1952__1_5_1 
( (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))