Context                Previous, Next                Top


11_a_wilde_1_1888
“How do you know?” said the Mathematical Master,

%3 utterance_11_a_wilde_1_1888_4 [utterance] r_0011_0003__do_r_0011_0005__know do know utterance_11_a_wilde_1_1888_4->r_0011_0003__do_r_0011_0005__know [part1] r_0011_0002__How How r_0011_0003__do_r_0011_0005__know->r_0011_0002__How [nim] r_0011_0004__you you r_0011_0003__do_r_0011_0005__know->r_0011_0004__you [arg0] r_0011_0008__said said r_0011_0008__said->utterance_11_a_wilde_1_1888_4 [arg1] r_0011_0009__the_r_0011_0011__Master the Master r_0011_0008__said->r_0011_0009__the_r_0011_0011__Master [arg0] r_0011_0010__Mathematical Mathematical r_0011_0009__the_r_0011_0011__Master->r_0011_0010__Mathematical [attrib] 
arc(utterance_11_a_wilde_1_1888_4, r_0011_0003__do_r_0011_0005__know, part1).
arc(r_0011_0003__do_r_0011_0005__know, r_0011_0002__How, nim7).
arc(r_0011_0003__do_r_0011_0005__know, r_0011_0004__you, arg0).
arc(r_0011_0008__said, utterance_11_a_wilde_1_1888_4, arg1).
arc(r_0011_0008__said, r_0011_0009__the_r_0011_0011__Master, arg0).
arc(r_0011_0009__the_r_0011_0011__Master, r_0011_0010__Mathematical, attrib26).


%3 r_0011_0009__the_r_0011_0011__Master the Master r_0011_0010__Mathematical Mathematical r_0011_0009__the_r_0011_0011__Master->r_0011_0010__Mathematical [attrib] r_0011_0008__said said r_0011_0008__said->r_0011_0009__the_r_0011_0011__Master [arg0] utterance_11_a_wilde_1_1888_4 [utterance] r_0011_0008__said->utterance_11_a_wilde_1_1888_4 [arg1] r_0011_0003__do_r_0011_0005__know do know utterance_11_a_wilde_1_1888_4->r_0011_0003__do_r_0011_0005__know [part1] r_0011_0004__you you r_0011_0003__do_r_0011_0005__know->r_0011_0004__you [arg0] r_0011_0002__How How r_0011_0003__do_r_0011_0005__know->r_0011_0002__How [nim] 
fof(formula,axiom,
    ? [R_0011_0002__HOW,R_0011_0004__YOU,R_0011_0003__DO_R_0011_0005__KNOW,UTTERANCE_11_A_WILDE_1_1888_4,R_0011_0010__MATHEMATICAL,R_0011_0009__THE_R_0011_0011__MASTER,R_0011_0008__SAID] :
      ( r_0011_0002__How(R_0011_0002__HOW)
      & r_0011_0004__you(R_0011_0004__YOU)
      & r_0011_0010__Mathematical(R_0011_0010__MATHEMATICAL)
      & r_0011_0008__said(R_0011_0008__SAID)
      & has_arg0(R_0011_0008__SAID,R_0011_0009__THE_R_0011_0011__MASTER)
      & r_0011_0009__the_r_0011_0011__Master(R_0011_0009__THE_R_0011_0011__MASTER)
      & has_attrib26(R_0011_0009__THE_R_0011_0011__MASTER,R_0011_0010__MATHEMATICAL)
      & has_arg1(R_0011_0008__SAID,UTTERANCE_11_A_WILDE_1_1888_4)
      & utterance_11_a_wilde_1_1888_4(UTTERANCE_11_A_WILDE_1_1888_4)
      & has_part1(UTTERANCE_11_A_WILDE_1_1888_4,R_0011_0003__DO_R_0011_0005__KNOW)
      & r_0011_0003__do_r_0011_0005__know(R_0011_0003__DO_R_0011_0005__KNOW)
      & has_arg0(R_0011_0003__DO_R_0011_0005__KNOW,R_0011_0004__YOU)
      & has_nim7(R_0011_0003__DO_R_0011_0005__KNOW,R_0011_0002__HOW) ) ).


n11_a_wilde_1_1888 n11_a_wilde_1_1888__1_1_1 <ldquo> n11_a_wilde_1_1888__1_2_1_1_1_1_1 How n11_a_wilde_1_1888__1_2_1_1_2_1 do n11_a_wilde_1_1888__1_2_1_1_3_1_1 you n11_a_wilde_1_1888__1_2_1_1_4_1 know n11_a_wilde_1_1888__1_2_1_2_1 ? n11_a_wilde_1_1888__1_3_1 <rdquo> n11_a_wilde_1_1888__1_4_1 said n11_a_wilde_1_1888__1_5_1_1 the n11_a_wilde_1_1888__1_5_2_1_1 Mathematical n11_a_wilde_1_1888__1_5_3_1 Master n11_a_wilde_1_1888__1_6_1 , n11_a_wilde_1_1888__1 IP-MAT n11_a_wilde_1_1888__1_1 PULQ n11_a_wilde_1_1888__1->n11_a_wilde_1_1888__1_1 n11_a_wilde_1_1888__1_2 utterance-OB1 n11_a_wilde_1_1888__1->n11_a_wilde_1_1888__1_2 n11_a_wilde_1_1888__1_3 PURQ n11_a_wilde_1_1888__1->n11_a_wilde_1_1888__1_3 n11_a_wilde_1_1888__1_4 VBD;_Tr_ n11_a_wilde_1_1888__1->n11_a_wilde_1_1888__1_4 n11_a_wilde_1_1888__1_5 NP-SBJ n11_a_wilde_1_1888__1->n11_a_wilde_1_1888__1_5 n11_a_wilde_1_1888__1_6 PUNC n11_a_wilde_1_1888__1->n11_a_wilde_1_1888__1_6 n11_a_wilde_1_1888__1_1->n11_a_wilde_1_1888__1_1_1 n11_a_wilde_1_1888__1_2_1 CP-QUE-MAT n11_a_wilde_1_1888__1_2->n11_a_wilde_1_1888__1_2_1 n11_a_wilde_1_1888__1_2_1_1 IP-SUB n11_a_wilde_1_1888__1_2_1->n11_a_wilde_1_1888__1_2_1_1 n11_a_wilde_1_1888__1_2_1_2 PUNC n11_a_wilde_1_1888__1_2_1->n11_a_wilde_1_1888__1_2_1_2 n11_a_wilde_1_1888__1_2_1_1_1 ADVP-NIM n11_a_wilde_1_1888__1_2_1_1->n11_a_wilde_1_1888__1_2_1_1_1 n11_a_wilde_1_1888__1_2_1_1_2 DOP n11_a_wilde_1_1888__1_2_1_1->n11_a_wilde_1_1888__1_2_1_1_2 n11_a_wilde_1_1888__1_2_1_1_3 NP-SBJ n11_a_wilde_1_1888__1_2_1_1->n11_a_wilde_1_1888__1_2_1_1_3 n11_a_wilde_1_1888__1_2_1_1_4 VB;_I_ n11_a_wilde_1_1888__1_2_1_1->n11_a_wilde_1_1888__1_2_1_1_4 n11_a_wilde_1_1888__1_2_1_1_1_1 WADV n11_a_wilde_1_1888__1_2_1_1_1->n11_a_wilde_1_1888__1_2_1_1_1_1 n11_a_wilde_1_1888__1_2_1_1_1_1->n11_a_wilde_1_1888__1_2_1_1_1_1_1 n11_a_wilde_1_1888__1_2_1_1_2->n11_a_wilde_1_1888__1_2_1_1_2_1 n11_a_wilde_1_1888__1_2_1_1_3_1 PRO n11_a_wilde_1_1888__1_2_1_1_3->n11_a_wilde_1_1888__1_2_1_1_3_1 n11_a_wilde_1_1888__1_2_1_1_3_1->n11_a_wilde_1_1888__1_2_1_1_3_1_1 n11_a_wilde_1_1888__1_2_1_1_4->n11_a_wilde_1_1888__1_2_1_1_4_1 n11_a_wilde_1_1888__1_2_1_2->n11_a_wilde_1_1888__1_2_1_2_1 n11_a_wilde_1_1888__1_3->n11_a_wilde_1_1888__1_3_1 n11_a_wilde_1_1888__1_4->n11_a_wilde_1_1888__1_4_1 n11_a_wilde_1_1888__1_5_1 D n11_a_wilde_1_1888__1_5->n11_a_wilde_1_1888__1_5_1 n11_a_wilde_1_1888__1_5_2 ADJP n11_a_wilde_1_1888__1_5->n11_a_wilde_1_1888__1_5_2 n11_a_wilde_1_1888__1_5_3 N n11_a_wilde_1_1888__1_5->n11_a_wilde_1_1888__1_5_3 n11_a_wilde_1_1888__1_5_1->n11_a_wilde_1_1888__1_5_1_1 n11_a_wilde_1_1888__1_5_2_1 ADJ n11_a_wilde_1_1888__1_5_2->n11_a_wilde_1_1888__1_5_2_1 n11_a_wilde_1_1888__1_5_2_1->n11_a_wilde_1_1888__1_5_2_1_1 n11_a_wilde_1_1888__1_5_3->n11_a_wilde_1_1888__1_5_3_1 n11_a_wilde_1_1888__1_6->n11_a_wilde_1_1888__1_6_1 
( (IP-MAT (PULQ <ldquo>)
          (utterance-OB1 (CP-QUE-MAT (IP-SUB (ADVP-NIM (WADV How;{how}))
                                             (DOP do;{do})
                                             (NP-SBJ;{PERSONS} (PRO you;{you}))
                                             (VB;_I_ know;{know}))
                                     (PUNC ?)))
          (PURQ <rdquo>)
          (VBD;_Tr_ said;{say})
          (NP-SBJ;{MATH_MASTER} (D the;{the})
                                (ADJP (ADJ Mathematical;{mathematical}))
                                (N Master;{master}))
          (PUNC ,))
  (ID 11_a_wilde_1_1888))