Context                Previous, Next                Top


7_a_dick_1952
The Captain peered into the eyepiece of the telescope.

%3 r_0007_0003__peered peered r_0007_0001__The_r_0007_0002__Captain The Captain r_0007_0003__peered->r_0007_0001__The_r_0007_0002__Captain [arg0] r_0007_0005__the_r_0007_0006__eyepiece the eyepiece r_0007_0003__peered->r_0007_0005__the_r_0007_0006__eyepiece into [clr] r_0007_0008__the_r_0007_0009__telescope the telescope r_0007_0005__the_r_0007_0006__eyepiece->r_0007_0008__the_r_0007_0009__telescope of 
arc(r_0007_0003__peered, r_0007_0001__The_r_0007_0002__Captain, arg0).
arc(r_0007_0003__peered, r_0007_0005__the_r_0007_0006__eyepiece, r_0007_0004__into_clr12).
arc(r_0007_0005__the_r_0007_0006__eyepiece, r_0007_0008__the_r_0007_0009__telescope, r_0007_0007__of).


%3 r_0007_0003__peered peered r_0007_0001__The_r_0007_0002__Captain The Captain r_0007_0003__peered->r_0007_0001__The_r_0007_0002__Captain [arg0] r_0007_0005__the_r_0007_0006__eyepiece the eyepiece r_0007_0003__peered->r_0007_0005__the_r_0007_0006__eyepiece into [clr] r_0007_0008__the_r_0007_0009__telescope the telescope r_0007_0005__the_r_0007_0006__eyepiece->r_0007_0008__the_r_0007_0009__telescope of 
fof(formula,axiom,
    ? [R_7_3_PEERED,R_7_1_THE_CAPTAIN,R_7_5_THE_EYEPIECE,R_7_8_THE_TELESCOPE] :
      ( the_Captain(R_7_1_THE_CAPTAIN)
      & the_telescope(R_7_8_THE_TELESCOPE)
      & peered(R_7_3_PEERED,R_7_1_THE_CAPTAIN)
      & into_clr12(R_7_3_PEERED,R_7_5_THE_EYEPIECE)
      & the_eyepiece(R_7_5_THE_EYEPIECE)
      & of(R_7_5_THE_EYEPIECE,R_7_8_THE_TELESCOPE) ) ).


n7_a_dick_1952 n7_a_dick_1952_4 The n7_a_dick_1952_6 Captain n7_a_dick_1952_8 peered n7_a_dick_1952_11 into n7_a_dick_1952_14 the n7_a_dick_1952_16 eyepiece n7_a_dick_1952_19 of n7_a_dick_1952_22 the n7_a_dick_1952_24 telescope n7_a_dick_1952_26 . n7_a_dick_1952_1 IP-MAT n7_a_dick_1952_2 NP-SBJ n7_a_dick_1952_1->n7_a_dick_1952_2 n7_a_dick_1952_7 VBD;_Ipr_ n7_a_dick_1952_1->n7_a_dick_1952_7 n7_a_dick_1952_9 PP-CLR n7_a_dick_1952_1->n7_a_dick_1952_9 n7_a_dick_1952_25 PUNC n7_a_dick_1952_1->n7_a_dick_1952_25 n7_a_dick_1952_3 D n7_a_dick_1952_2->n7_a_dick_1952_3 n7_a_dick_1952_5 N n7_a_dick_1952_2->n7_a_dick_1952_5 n7_a_dick_1952_3->n7_a_dick_1952_4 n7_a_dick_1952_5->n7_a_dick_1952_6 n7_a_dick_1952_7->n7_a_dick_1952_8 n7_a_dick_1952_10 P-ROLE n7_a_dick_1952_9->n7_a_dick_1952_10 n7_a_dick_1952_12 NP n7_a_dick_1952_9->n7_a_dick_1952_12 n7_a_dick_1952_10->n7_a_dick_1952_11 n7_a_dick_1952_13 D n7_a_dick_1952_12->n7_a_dick_1952_13 n7_a_dick_1952_15 N n7_a_dick_1952_12->n7_a_dick_1952_15 n7_a_dick_1952_17 PP n7_a_dick_1952_12->n7_a_dick_1952_17 n7_a_dick_1952_13->n7_a_dick_1952_14 n7_a_dick_1952_15->n7_a_dick_1952_16 n7_a_dick_1952_18 P-ROLE n7_a_dick_1952_17->n7_a_dick_1952_18 n7_a_dick_1952_20 NP n7_a_dick_1952_17->n7_a_dick_1952_20 n7_a_dick_1952_18->n7_a_dick_1952_19 n7_a_dick_1952_21 D n7_a_dick_1952_20->n7_a_dick_1952_21 n7_a_dick_1952_23 N n7_a_dick_1952_20->n7_a_dick_1952_23 n7_a_dick_1952_21->n7_a_dick_1952_22 n7_a_dick_1952_23->n7_a_dick_1952_24 n7_a_dick_1952_25->n7_a_dick_1952_26 
( (IP-MAT (NP-SBJ;{CAPTAIN} (D The;{the})
                            (N Captain;{captain}))
          (VBD;_Ipr_ peered;{peer[into]})
          (PP-CLR (P-ROLE into;{into})
                  (NP (D the;{the})
                      (N eyepiece;{eyepiece})
                      (PP (P-ROLE of;{of})
                          (NP (D the;{the})
                              (N telescope;{telescope})))))
          (PUNC .))
  (ID 7_a_dick_1952))