Context                Previous, Next                Top


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

%3 r_0011_0003__do_r_0011_0005__know do know 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_0009__the_r_0011_0011__Master the Master 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_0010__Mathematical Mathematical r_0011_0009__the_r_0011_0011__Master->r_0011_0010__Mathematical [attrib] 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, r_0011_0009__the_r_0011_0011__Master, arg0).
arc(r_0011_0008__said, utterance_11_a_wilde_1_1888_4, arg1).
arc(r_0011_0009__the_r_0011_0011__Master, r_0011_0010__Mathematical, attrib26).
arc(utterance_11_a_wilde_1_1888_4, r_0011_0003__do_r_0011_0005__know, part1).


%3 r_0011_0003__do_r_0011_0005__know do know 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_0009__the_r_0011_0011__Master the Master 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_0010__Mathematical Mathematical r_0011_0009__the_r_0011_0011__Master->r_0011_0010__Mathematical [attrib] utterance_11_a_wilde_1_1888_4->r_0011_0003__do_r_0011_0005__know [part1] 
fof(formula,axiom,
    ? [R_11_8_SAID,R_11_9_THE_MASTER,R_11_10_MATHEMATICAL,UTTERANCE_11_A_WILDE_1_1888_4,R_11_3_DO_KNOW,R_11_4_YOU,R_11_2_HOW] :
      ( mathematical(R_11_10_MATHEMATICAL)
      & you(R_11_4_YOU)
      & how(R_11_2_HOW)
      & said(R_11_8_SAID,R_11_9_THE_MASTER,UTTERANCE_11_A_WILDE_1_1888_4)
      & the_Master(R_11_9_THE_MASTER)
      & attrib26(R_11_9_THE_MASTER,R_11_10_MATHEMATICAL)
      & utterance_11_a_wilde_1_1888_4(UTTERANCE_11_A_WILDE_1_1888_4)
      & part1(UTTERANCE_11_A_WILDE_1_1888_4,R_11_3_DO_KNOW)
      & do_know(R_11_3_DO_KNOW,R_11_4_YOU)
      & nim7(R_11_3_DO_KNOW,R_11_2_HOW) ) ).


n11_a_wilde_1_1888 n11_a_wilde_1_1888_3 <ldquo> n11_a_wilde_1_1888_9 How n11_a_wilde_1_1888_11 do n11_a_wilde_1_1888_14 you n11_a_wilde_1_1888_16 know n11_a_wilde_1_1888_18 ? n11_a_wilde_1_1888_20 <rdquo> n11_a_wilde_1_1888_22 said n11_a_wilde_1_1888_25 the n11_a_wilde_1_1888_28 Mathematical n11_a_wilde_1_1888_30 Master n11_a_wilde_1_1888_32 , n11_a_wilde_1_1888_1 IP-MAT n11_a_wilde_1_1888_2 PULQ n11_a_wilde_1_1888_1->n11_a_wilde_1_1888_2 n11_a_wilde_1_1888_4 utterance-OB1 n11_a_wilde_1_1888_1->n11_a_wilde_1_1888_4 n11_a_wilde_1_1888_19 PURQ n11_a_wilde_1_1888_1->n11_a_wilde_1_1888_19 n11_a_wilde_1_1888_21 VBD;_Tr_ n11_a_wilde_1_1888_1->n11_a_wilde_1_1888_21 n11_a_wilde_1_1888_23 NP-SBJ n11_a_wilde_1_1888_1->n11_a_wilde_1_1888_23 n11_a_wilde_1_1888_31 PUNC n11_a_wilde_1_1888_1->n11_a_wilde_1_1888_31 n11_a_wilde_1_1888_2->n11_a_wilde_1_1888_3 n11_a_wilde_1_1888_5 CP-QUE-MAT n11_a_wilde_1_1888_4->n11_a_wilde_1_1888_5 n11_a_wilde_1_1888_6 IP-SUB n11_a_wilde_1_1888_5->n11_a_wilde_1_1888_6 n11_a_wilde_1_1888_17 PUNC n11_a_wilde_1_1888_5->n11_a_wilde_1_1888_17 n11_a_wilde_1_1888_7 ADVP-NIM n11_a_wilde_1_1888_6->n11_a_wilde_1_1888_7 n11_a_wilde_1_1888_10 DOP n11_a_wilde_1_1888_6->n11_a_wilde_1_1888_10 n11_a_wilde_1_1888_12 NP-SBJ n11_a_wilde_1_1888_6->n11_a_wilde_1_1888_12 n11_a_wilde_1_1888_15 VB;_I_ n11_a_wilde_1_1888_6->n11_a_wilde_1_1888_15 n11_a_wilde_1_1888_8 WADV n11_a_wilde_1_1888_7->n11_a_wilde_1_1888_8 n11_a_wilde_1_1888_8->n11_a_wilde_1_1888_9 n11_a_wilde_1_1888_10->n11_a_wilde_1_1888_11 n11_a_wilde_1_1888_13 PRO n11_a_wilde_1_1888_12->n11_a_wilde_1_1888_13 n11_a_wilde_1_1888_13->n11_a_wilde_1_1888_14 n11_a_wilde_1_1888_15->n11_a_wilde_1_1888_16 n11_a_wilde_1_1888_17->n11_a_wilde_1_1888_18 n11_a_wilde_1_1888_19->n11_a_wilde_1_1888_20 n11_a_wilde_1_1888_21->n11_a_wilde_1_1888_22 n11_a_wilde_1_1888_24 D n11_a_wilde_1_1888_23->n11_a_wilde_1_1888_24 n11_a_wilde_1_1888_26 ADJP n11_a_wilde_1_1888_23->n11_a_wilde_1_1888_26 n11_a_wilde_1_1888_29 N n11_a_wilde_1_1888_23->n11_a_wilde_1_1888_29 n11_a_wilde_1_1888_24->n11_a_wilde_1_1888_25 n11_a_wilde_1_1888_27 ADJ n11_a_wilde_1_1888_26->n11_a_wilde_1_1888_27 n11_a_wilde_1_1888_27->n11_a_wilde_1_1888_28 n11_a_wilde_1_1888_29->n11_a_wilde_1_1888_30 n11_a_wilde_1_1888_31->n11_a_wilde_1_1888_32 
( (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))