Context                Previous, Next                Top


40_a_dick_1952
“What did the telescope show?

%3 r_0040_0003__did_r_0040_0006__show did show r_0040_0002__What What r_0040_0003__did_r_0040_0006__show->r_0040_0002__What [arg1] r_0040_0004__the_r_0040_0005__telescope the telescope r_0040_0003__did_r_0040_0006__show->r_0040_0004__the_r_0040_0005__telescope [arg0] 
arc(r_0040_0003__did_r_0040_0006__show, r_0040_0002__What, arg1).
arc(r_0040_0003__did_r_0040_0006__show, r_0040_0004__the_r_0040_0005__telescope, arg0).


%3 r_0040_0003__did_r_0040_0006__show did show r_0040_0002__What What r_0040_0003__did_r_0040_0006__show->r_0040_0002__What [arg1] r_0040_0004__the_r_0040_0005__telescope the telescope r_0040_0003__did_r_0040_0006__show->r_0040_0004__the_r_0040_0005__telescope [arg0] 
fof(formula,axiom,
    ? [R_40_3_DID_SHOW,R_40_4_THE_TELESCOPE,R_40_2_WHAT] :
      ( the_telescope(R_40_4_THE_TELESCOPE)
      & what(R_40_2_WHAT)
      & did_show(R_40_3_DID_SHOW,R_40_4_THE_TELESCOPE,R_40_2_WHAT) ) ).


n40_a_dick_1952 n40_a_dick_1952_3 <ldquo> n40_a_dick_1952_7 What n40_a_dick_1952_9 did n40_a_dick_1952_12 the n40_a_dick_1952_14 telescope n40_a_dick_1952_16 show n40_a_dick_1952_18 ? n40_a_dick_1952_1 CP-QUE-MAT n40_a_dick_1952_2 PULQ n40_a_dick_1952_1->n40_a_dick_1952_2 n40_a_dick_1952_4 IP-SUB n40_a_dick_1952_1->n40_a_dick_1952_4 n40_a_dick_1952_17 PUNC n40_a_dick_1952_1->n40_a_dick_1952_17 n40_a_dick_1952_2->n40_a_dick_1952_3 n40_a_dick_1952_5 NP-OB1 n40_a_dick_1952_4->n40_a_dick_1952_5 n40_a_dick_1952_8 DOD n40_a_dick_1952_4->n40_a_dick_1952_8 n40_a_dick_1952_10 NP-SBJ n40_a_dick_1952_4->n40_a_dick_1952_10 n40_a_dick_1952_15 VB;_Tn_ n40_a_dick_1952_4->n40_a_dick_1952_15 n40_a_dick_1952_6 WPRO n40_a_dick_1952_5->n40_a_dick_1952_6 n40_a_dick_1952_6->n40_a_dick_1952_7 n40_a_dick_1952_8->n40_a_dick_1952_9 n40_a_dick_1952_11 D n40_a_dick_1952_10->n40_a_dick_1952_11 n40_a_dick_1952_13 N n40_a_dick_1952_10->n40_a_dick_1952_13 n40_a_dick_1952_11->n40_a_dick_1952_12 n40_a_dick_1952_13->n40_a_dick_1952_14 n40_a_dick_1952_15->n40_a_dick_1952_16 n40_a_dick_1952_17->n40_a_dick_1952_18 
( (CP-QUE-MAT (PULQ <ldquo>)
              (IP-SUB (NP-OB1 (WPRO What;{what}))
                      (DOD did;{do})
                      (NP-SBJ (D the;{the})
                              (N telescope;{telescope}))
                      (VB;_Tn_ show;{show}))
              (PUNC ?))
  (ID 40_a_dick_1952))