Context                Previous, Next                Top


81_a_dick_1952
The Captain lay on the floor by the smashed control board.

%3 r_0081_0003__lay lay r_0081_0001__The_r_0081_0002__Captain The Captain r_0081_0003__lay->r_0081_0001__The_r_0081_0002__Captain [arg0] r_0081_0005__the_r_0081_0006__floor the floor r_0081_0003__lay->r_0081_0005__the_r_0081_0006__floor on [clr] r_0081_0008__the_r_0081_0010__control_r_0081_0011__board the control board r_0081_0003__lay->r_0081_0008__the_r_0081_0010__control_r_0081_0011__board by [nim] r_0081_0009__smashed smashed r_0081_0009__smashed->r_0081_0008__the_r_0081_0010__control_r_0081_0011__board [arg1] z_000_81_a_dick_1952_24 r_0081_0009__smashed->z_000_81_a_dick_1952_24 [arg0] 
arc(r_0081_0003__lay, r_0081_0001__The_r_0081_0002__Captain, arg0).
arc(r_0081_0003__lay, r_0081_0005__the_r_0081_0006__floor, r_0081_0004__on_clr12).
arc(r_0081_0003__lay, r_0081_0008__the_r_0081_0010__control_r_0081_0011__board, r_0081_0007__by_nim20).
arc(r_0081_0009__smashed, r_0081_0008__the_r_0081_0010__control_r_0081_0011__board, arg1).
arc(r_0081_0009__smashed, z_000_81_a_dick_1952_24, arg0).


%3 r_0081_0003__lay lay r_0081_0001__The_r_0081_0002__Captain The Captain r_0081_0003__lay->r_0081_0001__The_r_0081_0002__Captain [arg0] r_0081_0005__the_r_0081_0006__floor the floor r_0081_0003__lay->r_0081_0005__the_r_0081_0006__floor on [clr] r_0081_0008__the_r_0081_0010__control_r_0081_0011__board the control board r_0081_0003__lay->r_0081_0008__the_r_0081_0010__control_r_0081_0011__board by [nim] r_0081_0009__smashed smashed r_0081_0009__smashed->r_0081_0008__the_r_0081_0010__control_r_0081_0011__board [arg1] z_000_81_a_dick_1952_24 r_0081_0009__smashed->z_000_81_a_dick_1952_24 [arg0] 
fof(formula,axiom,
    ? [R_81_3_LAY,R_81_1_THE_CAPTAIN,R_81_5_THE_FLOOR,R_81_9_SMASHED,Z_81_A_DICK_1952_24,R_81_8_THE_CONTROL_BOARD] :
      ( the_Captain(R_81_1_THE_CAPTAIN)
      & the_floor(R_81_5_THE_FLOOR)
      & the_control_board(R_81_8_THE_CONTROL_BOARD)
      & lay(R_81_3_LAY,R_81_1_THE_CAPTAIN)
      & on_clr12(R_81_3_LAY,R_81_5_THE_FLOOR)
      & by_nim20(R_81_3_LAY,R_81_8_THE_CONTROL_BOARD)
      & smashed(R_81_9_SMASHED,Z_81_A_DICK_1952_24,R_81_8_THE_CONTROL_BOARD) ) ).


n81_a_dick_1952 n81_a_dick_1952_4 The n81_a_dick_1952_6 Captain n81_a_dick_1952_8 lay n81_a_dick_1952_11 on n81_a_dick_1952_14 the n81_a_dick_1952_16 floor n81_a_dick_1952_19 by n81_a_dick_1952_22 the n81_a_dick_1952_25 * n81_a_dick_1952_27 smashed n81_a_dick_1952_29 control n81_a_dick_1952_31 board n81_a_dick_1952_33 . n81_a_dick_1952_1 IP-MAT n81_a_dick_1952_2 NP-SBJ n81_a_dick_1952_1->n81_a_dick_1952_2 n81_a_dick_1952_7 VBD;_Ipr_ n81_a_dick_1952_1->n81_a_dick_1952_7 n81_a_dick_1952_9 PP-CLR n81_a_dick_1952_1->n81_a_dick_1952_9 n81_a_dick_1952_17 PP-NIM n81_a_dick_1952_1->n81_a_dick_1952_17 n81_a_dick_1952_32 PUNC n81_a_dick_1952_1->n81_a_dick_1952_32 n81_a_dick_1952_3 D n81_a_dick_1952_2->n81_a_dick_1952_3 n81_a_dick_1952_5 N n81_a_dick_1952_2->n81_a_dick_1952_5 n81_a_dick_1952_3->n81_a_dick_1952_4 n81_a_dick_1952_5->n81_a_dick_1952_6 n81_a_dick_1952_7->n81_a_dick_1952_8 n81_a_dick_1952_10 P-ROLE n81_a_dick_1952_9->n81_a_dick_1952_10 n81_a_dick_1952_12 NP n81_a_dick_1952_9->n81_a_dick_1952_12 n81_a_dick_1952_10->n81_a_dick_1952_11 n81_a_dick_1952_13 D n81_a_dick_1952_12->n81_a_dick_1952_13 n81_a_dick_1952_15 N n81_a_dick_1952_12->n81_a_dick_1952_15 n81_a_dick_1952_13->n81_a_dick_1952_14 n81_a_dick_1952_15->n81_a_dick_1952_16 n81_a_dick_1952_18 P-ROLE n81_a_dick_1952_17->n81_a_dick_1952_18 n81_a_dick_1952_20 NP n81_a_dick_1952_17->n81_a_dick_1952_20 n81_a_dick_1952_18->n81_a_dick_1952_19 n81_a_dick_1952_21 D n81_a_dick_1952_20->n81_a_dick_1952_21 n81_a_dick_1952_23 IP-PPL n81_a_dick_1952_20->n81_a_dick_1952_23 n81_a_dick_1952_28 N n81_a_dick_1952_20->n81_a_dick_1952_28 n81_a_dick_1952_30 N n81_a_dick_1952_20->n81_a_dick_1952_30 n81_a_dick_1952_21->n81_a_dick_1952_22 n81_a_dick_1952_24 NP-LGS n81_a_dick_1952_23->n81_a_dick_1952_24 n81_a_dick_1952_26 VVN;_Tn_ n81_a_dick_1952_23->n81_a_dick_1952_26 n81_a_dick_1952_24->n81_a_dick_1952_25 n81_a_dick_1952_26->n81_a_dick_1952_27 n81_a_dick_1952_28->n81_a_dick_1952_29 n81_a_dick_1952_30->n81_a_dick_1952_31 n81_a_dick_1952_32->n81_a_dick_1952_33 
( (IP-MAT (NP-SBJ (D The;{the})
                  (N Captain;{captain}))
          (VBD;_Ipr_ lay;{lie[on]})
          (PP-CLR (P-ROLE on;{on})
                  (NP (D the;{the})
                      (N floor;{floor})))
          (PP-NIM (P-ROLE by;{by})
                  (NP (D the;{the})
                      (IP-PPL (NP-LGS *)
                              (VVN;_Tn_ smashed;{smash}))
                      (N control;{control})
                      (N board;{board})))
          (PUNC .))
  (ID 81_a_dick_1952))