Context                Previous, Next                Top


40_a_dick_1952
“What did the telescope show?

n40_a_dick_1952 n40_a_dick_1952__1_1_1 <ldquo> n40_a_dick_1952__1_2_1_1_1 What n40_a_dick_1952__1_2_2_1 did n40_a_dick_1952__1_2_3_1_1 the n40_a_dick_1952__1_2_3_2_1 telescope n40_a_dick_1952__1_2_4_1 show n40_a_dick_1952__1_3_1 ? n40_a_dick_1952__1 CP-QUE-MAT n40_a_dick_1952__1_1 PULQ n40_a_dick_1952__1->n40_a_dick_1952__1_1 n40_a_dick_1952__1_2 IP-SUB n40_a_dick_1952__1->n40_a_dick_1952__1_2 n40_a_dick_1952__1_3 PUNC n40_a_dick_1952__1->n40_a_dick_1952__1_3 n40_a_dick_1952__1_1->n40_a_dick_1952__1_1_1 n40_a_dick_1952__1_2_1 NP-OB1 n40_a_dick_1952__1_2->n40_a_dick_1952__1_2_1 n40_a_dick_1952__1_2_2 DOD n40_a_dick_1952__1_2->n40_a_dick_1952__1_2_2 n40_a_dick_1952__1_2_3 NP-SBJ n40_a_dick_1952__1_2->n40_a_dick_1952__1_2_3 n40_a_dick_1952__1_2_4 VB;_Tn_ n40_a_dick_1952__1_2->n40_a_dick_1952__1_2_4 n40_a_dick_1952__1_2_1_1 WPRO n40_a_dick_1952__1_2_1->n40_a_dick_1952__1_2_1_1 n40_a_dick_1952__1_2_1_1->n40_a_dick_1952__1_2_1_1_1 n40_a_dick_1952__1_2_2->n40_a_dick_1952__1_2_2_1 n40_a_dick_1952__1_2_3_1 D n40_a_dick_1952__1_2_3->n40_a_dick_1952__1_2_3_1 n40_a_dick_1952__1_2_3_2 N n40_a_dick_1952__1_2_3->n40_a_dick_1952__1_2_3_2 n40_a_dick_1952__1_2_3_1->n40_a_dick_1952__1_2_3_1_1 n40_a_dick_1952__1_2_3_2->n40_a_dick_1952__1_2_3_2_1 n40_a_dick_1952__1_2_4->n40_a_dick_1952__1_2_4_1 n40_a_dick_1952__1_3->n40_a_dick_1952__1_3_1 
( (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))


%3 r_0040_0003__did_r_0040_0006__show did show 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] r_0040_0002__What What r_0040_0003__did_r_0040_0006__show->r_0040_0002__What [arg1] 
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_0040_0002__WHAT,R_0040_0004__THE_R_0040_0005__TELESCOPE,R_0040_0003__DID_R_0040_0006__SHOW] :
      ( r_0040_0002__What(R_0040_0002__WHAT)
      & r_0040_0004__the_r_0040_0005__telescope(R_0040_0004__THE_R_0040_0005__TELESCOPE)
      & r_0040_0003__did_r_0040_0006__show(R_0040_0003__DID_R_0040_0006__SHOW)
      & has_arg0(R_0040_0003__DID_R_0040_0006__SHOW,R_0040_0004__THE_R_0040_0005__TELESCOPE)
      & has_arg1(R_0040_0003__DID_R_0040_0006__SHOW,R_0040_0002__WHAT) ) ).