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_0005__the_r_0007_0006__eyepiece the eyepiece 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 r_0007_0003__peered peered r_0007_0003__peered->r_0007_0005__the_r_0007_0006__eyepiece into [clr] r_0007_0001__The_r_0007_0002__Captain The Captain r_0007_0003__peered->r_0007_0001__The_r_0007_0002__Captain [arg0] 
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__1_1_1_1 The n7_a_dick_1952__1_1_2_1 Captain n7_a_dick_1952__1_2_1 peered n7_a_dick_1952__1_3_1_1 into n7_a_dick_1952__1_3_2_1_1 the n7_a_dick_1952__1_3_2_2_1 eyepiece n7_a_dick_1952__1_3_2_3_1_1 of n7_a_dick_1952__1_3_2_3_2_1_1 the n7_a_dick_1952__1_3_2_3_2_2_1 telescope n7_a_dick_1952__1_4_1 . n7_a_dick_1952__1 IP-MAT n7_a_dick_1952__1_1 NP-SBJ n7_a_dick_1952__1->n7_a_dick_1952__1_1 n7_a_dick_1952__1_2 VBD;_Ipr_ n7_a_dick_1952__1->n7_a_dick_1952__1_2 n7_a_dick_1952__1_3 PP-CLR n7_a_dick_1952__1->n7_a_dick_1952__1_3 n7_a_dick_1952__1_4 PUNC n7_a_dick_1952__1->n7_a_dick_1952__1_4 n7_a_dick_1952__1_1_1 D n7_a_dick_1952__1_1->n7_a_dick_1952__1_1_1 n7_a_dick_1952__1_1_2 N n7_a_dick_1952__1_1->n7_a_dick_1952__1_1_2 n7_a_dick_1952__1_1_1->n7_a_dick_1952__1_1_1_1 n7_a_dick_1952__1_1_2->n7_a_dick_1952__1_1_2_1 n7_a_dick_1952__1_2->n7_a_dick_1952__1_2_1 n7_a_dick_1952__1_3_1 P-ROLE n7_a_dick_1952__1_3->n7_a_dick_1952__1_3_1 n7_a_dick_1952__1_3_2 NP n7_a_dick_1952__1_3->n7_a_dick_1952__1_3_2 n7_a_dick_1952__1_3_1->n7_a_dick_1952__1_3_1_1 n7_a_dick_1952__1_3_2_1 D n7_a_dick_1952__1_3_2->n7_a_dick_1952__1_3_2_1 n7_a_dick_1952__1_3_2_2 N n7_a_dick_1952__1_3_2->n7_a_dick_1952__1_3_2_2 n7_a_dick_1952__1_3_2_3 PP n7_a_dick_1952__1_3_2->n7_a_dick_1952__1_3_2_3 n7_a_dick_1952__1_3_2_1->n7_a_dick_1952__1_3_2_1_1 n7_a_dick_1952__1_3_2_2->n7_a_dick_1952__1_3_2_2_1 n7_a_dick_1952__1_3_2_3_1 P-ROLE n7_a_dick_1952__1_3_2_3->n7_a_dick_1952__1_3_2_3_1 n7_a_dick_1952__1_3_2_3_2 NP n7_a_dick_1952__1_3_2_3->n7_a_dick_1952__1_3_2_3_2 n7_a_dick_1952__1_3_2_3_1->n7_a_dick_1952__1_3_2_3_1_1 n7_a_dick_1952__1_3_2_3_2_1 D n7_a_dick_1952__1_3_2_3_2->n7_a_dick_1952__1_3_2_3_2_1 n7_a_dick_1952__1_3_2_3_2_2 N n7_a_dick_1952__1_3_2_3_2->n7_a_dick_1952__1_3_2_3_2_2 n7_a_dick_1952__1_3_2_3_2_1->n7_a_dick_1952__1_3_2_3_2_1_1 n7_a_dick_1952__1_3_2_3_2_2->n7_a_dick_1952__1_3_2_3_2_2_1 n7_a_dick_1952__1_4->n7_a_dick_1952__1_4_1 
( (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))