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_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] 
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_4 Between n424_a_dick_1952_7 the n424_a_dick_1952_9 three n424_a_dick_1952_12 of n424_a_dick_1952_15 them n424_a_dick_1952_18 they n424_a_dick_1952_20 managed n424_a_dick_1952_23 to n424_a_dick_1952_27 pull n424_a_dick_1952_29 up n424_a_dick_1952_32 the n424_a_dick_1952_34 steel n424_a_dick_1952_36 cover n424_a_dick_1952_39 and n424_a_dick_1952_42 lay n424_a_dick_1952_45 it n424_a_dick_1952_48 to n424_a_dick_1952_51 one n424_a_dick_1952_53 side n424_a_dick_1952_55 . n424_a_dick_1952_1 IP-MAT n424_a_dick_1952_2 PP-NIM n424_a_dick_1952_1->n424_a_dick_1952_2 n424_a_dick_1952_16 NP-SBJ n424_a_dick_1952_1->n424_a_dick_1952_16 n424_a_dick_1952_19 VBD;_Tt_ n424_a_dick_1952_1->n424_a_dick_1952_19 n424_a_dick_1952_21 IP-INF-OB1 n424_a_dick_1952_1->n424_a_dick_1952_21 n424_a_dick_1952_54 PUNC n424_a_dick_1952_1->n424_a_dick_1952_54 n424_a_dick_1952_3 P-ROLE n424_a_dick_1952_2->n424_a_dick_1952_3 n424_a_dick_1952_5 NP n424_a_dick_1952_2->n424_a_dick_1952_5 n424_a_dick_1952_3->n424_a_dick_1952_4 n424_a_dick_1952_6 D n424_a_dick_1952_5->n424_a_dick_1952_6 n424_a_dick_1952_8 NUM n424_a_dick_1952_5->n424_a_dick_1952_8 n424_a_dick_1952_10 PP n424_a_dick_1952_5->n424_a_dick_1952_10 n424_a_dick_1952_6->n424_a_dick_1952_7 n424_a_dick_1952_8->n424_a_dick_1952_9 n424_a_dick_1952_11 P-ROLE n424_a_dick_1952_10->n424_a_dick_1952_11 n424_a_dick_1952_13 NP n424_a_dick_1952_10->n424_a_dick_1952_13 n424_a_dick_1952_11->n424_a_dick_1952_12 n424_a_dick_1952_14 PRO n424_a_dick_1952_13->n424_a_dick_1952_14 n424_a_dick_1952_14->n424_a_dick_1952_15 n424_a_dick_1952_17 PRO n424_a_dick_1952_16->n424_a_dick_1952_17 n424_a_dick_1952_17->n424_a_dick_1952_18 n424_a_dick_1952_19->n424_a_dick_1952_20 n424_a_dick_1952_22 TO n424_a_dick_1952_21->n424_a_dick_1952_22 n424_a_dick_1952_24 ILYR n424_a_dick_1952_21->n424_a_dick_1952_24 n424_a_dick_1952_22->n424_a_dick_1952_23 n424_a_dick_1952_25 ILYR n424_a_dick_1952_24->n424_a_dick_1952_25 n424_a_dick_1952_37 CONJP n424_a_dick_1952_24->n424_a_dick_1952_37 n424_a_dick_1952_26 VB;_phr_Vn<=>p_ n424_a_dick_1952_25->n424_a_dick_1952_26 n424_a_dick_1952_28 RP n424_a_dick_1952_25->n424_a_dick_1952_28 n424_a_dick_1952_30 NP-OB1 n424_a_dick_1952_25->n424_a_dick_1952_30 n424_a_dick_1952_26->n424_a_dick_1952_27 n424_a_dick_1952_28->n424_a_dick_1952_29 n424_a_dick_1952_31 D n424_a_dick_1952_30->n424_a_dick_1952_31 n424_a_dick_1952_33 N n424_a_dick_1952_30->n424_a_dick_1952_33 n424_a_dick_1952_35 N n424_a_dick_1952_30->n424_a_dick_1952_35 n424_a_dick_1952_31->n424_a_dick_1952_32 n424_a_dick_1952_33->n424_a_dick_1952_34 n424_a_dick_1952_35->n424_a_dick_1952_36 n424_a_dick_1952_38 CONJ n424_a_dick_1952_37->n424_a_dick_1952_38 n424_a_dick_1952_40 ILYR n424_a_dick_1952_37->n424_a_dick_1952_40 n424_a_dick_1952_38->n424_a_dick_1952_39 n424_a_dick_1952_41 VB;_Tn.pr_ n424_a_dick_1952_40->n424_a_dick_1952_41 n424_a_dick_1952_43 NP-OB1 n424_a_dick_1952_40->n424_a_dick_1952_43 n424_a_dick_1952_46 PP-CLR n424_a_dick_1952_40->n424_a_dick_1952_46 n424_a_dick_1952_41->n424_a_dick_1952_42 n424_a_dick_1952_44 PRO n424_a_dick_1952_43->n424_a_dick_1952_44 n424_a_dick_1952_44->n424_a_dick_1952_45 n424_a_dick_1952_47 P-ROLE n424_a_dick_1952_46->n424_a_dick_1952_47 n424_a_dick_1952_49 NP n424_a_dick_1952_46->n424_a_dick_1952_49 n424_a_dick_1952_47->n424_a_dick_1952_48 n424_a_dick_1952_50 D n424_a_dick_1952_49->n424_a_dick_1952_50 n424_a_dick_1952_52 N n424_a_dick_1952_49->n424_a_dick_1952_52 n424_a_dick_1952_50->n424_a_dick_1952_51 n424_a_dick_1952_52->n424_a_dick_1952_53 n424_a_dick_1952_54->n424_a_dick_1952_55 
( (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))