Context                Previous, Next                Top


220_a_wilde_1_1888
Death is the brother of Sleep, is he not?”

%3 r_0220_0002__is is r_0220_0001__Death Death r_0220_0002__is->r_0220_0001__Death [arg0] r_0220_0003__the_r_0220_0004__brother the brother r_0220_0002__is->r_0220_0003__the_r_0220_0004__brother [prd] r_0220_0006__Sleep Sleep r_0220_0003__the_r_0220_0004__brother->r_0220_0006__Sleep of 
arc(r_0220_0002__is, r_0220_0001__Death, arg0).
arc(r_0220_0002__is, r_0220_0003__the_r_0220_0004__brother, prd).
arc(r_0220_0003__the_r_0220_0004__brother, r_0220_0006__Sleep, r_0220_0005__of).


%3 r_0220_0002__is is r_0220_0001__Death Death r_0220_0002__is->r_0220_0001__Death [arg0] r_0220_0003__the_r_0220_0004__brother the brother r_0220_0002__is->r_0220_0003__the_r_0220_0004__brother [prd] r_0220_0006__Sleep Sleep r_0220_0003__the_r_0220_0004__brother->r_0220_0006__Sleep of 
fof(formula,axiom,
    ? [R_220_2_IS,R_220_1_DEATH,R_220_3_THE_BROTHER,R_220_6_SLEEP] :
      ( death(R_220_1_DEATH)
      & sleep(R_220_6_SLEEP)
      & is(R_220_2_IS,R_220_1_DEATH,R_220_3_THE_BROTHER)
      & the_brother(R_220_3_THE_BROTHER)
      & of(R_220_3_THE_BROTHER,R_220_6_SLEEP) ) ).


n220_a_wilde_1_1888 n220_a_wilde_1_1888_4 Death n220_a_wilde_1_1888_6 is n220_a_wilde_1_1888_9 the n220_a_wilde_1_1888_11 brother n220_a_wilde_1_1888_14 of n220_a_wilde_1_1888_17 Sleep n220_a_wilde_1_1888_19 , n220_a_wilde_1_1888_23 is n220_a_wilde_1_1888_26 he n220_a_wilde_1_1888_28 not n220_a_wilde_1_1888_30 ? n220_a_wilde_1_1888_32 <rdquo> n220_a_wilde_1_1888_1 IP-MAT n220_a_wilde_1_1888_2 NP-SBJ n220_a_wilde_1_1888_1->n220_a_wilde_1_1888_2 n220_a_wilde_1_1888_5 BEP;_Ln_ n220_a_wilde_1_1888_1->n220_a_wilde_1_1888_5 n220_a_wilde_1_1888_7 NP-PRD n220_a_wilde_1_1888_1->n220_a_wilde_1_1888_7 n220_a_wilde_1_1888_18 PUNC n220_a_wilde_1_1888_1->n220_a_wilde_1_1888_18 n220_a_wilde_1_1888_20 CP-QUE-TAG n220_a_wilde_1_1888_1->n220_a_wilde_1_1888_20 n220_a_wilde_1_1888_29 PUNC n220_a_wilde_1_1888_1->n220_a_wilde_1_1888_29 n220_a_wilde_1_1888_31 PURQ n220_a_wilde_1_1888_1->n220_a_wilde_1_1888_31 n220_a_wilde_1_1888_3 NPR n220_a_wilde_1_1888_2->n220_a_wilde_1_1888_3 n220_a_wilde_1_1888_3->n220_a_wilde_1_1888_4 n220_a_wilde_1_1888_5->n220_a_wilde_1_1888_6 n220_a_wilde_1_1888_8 D n220_a_wilde_1_1888_7->n220_a_wilde_1_1888_8 n220_a_wilde_1_1888_10 N n220_a_wilde_1_1888_7->n220_a_wilde_1_1888_10 n220_a_wilde_1_1888_12 PP n220_a_wilde_1_1888_7->n220_a_wilde_1_1888_12 n220_a_wilde_1_1888_8->n220_a_wilde_1_1888_9 n220_a_wilde_1_1888_10->n220_a_wilde_1_1888_11 n220_a_wilde_1_1888_13 P-ROLE n220_a_wilde_1_1888_12->n220_a_wilde_1_1888_13 n220_a_wilde_1_1888_15 NP n220_a_wilde_1_1888_12->n220_a_wilde_1_1888_15 n220_a_wilde_1_1888_13->n220_a_wilde_1_1888_14 n220_a_wilde_1_1888_16 NPR n220_a_wilde_1_1888_15->n220_a_wilde_1_1888_16 n220_a_wilde_1_1888_16->n220_a_wilde_1_1888_17 n220_a_wilde_1_1888_18->n220_a_wilde_1_1888_19 n220_a_wilde_1_1888_21 IP-SUB n220_a_wilde_1_1888_20->n220_a_wilde_1_1888_21 n220_a_wilde_1_1888_22 BEP;_Ln_ n220_a_wilde_1_1888_21->n220_a_wilde_1_1888_22 n220_a_wilde_1_1888_24 NP-SBJ n220_a_wilde_1_1888_21->n220_a_wilde_1_1888_24 n220_a_wilde_1_1888_27 NEG n220_a_wilde_1_1888_21->n220_a_wilde_1_1888_27 n220_a_wilde_1_1888_22->n220_a_wilde_1_1888_23 n220_a_wilde_1_1888_25 PRO n220_a_wilde_1_1888_24->n220_a_wilde_1_1888_25 n220_a_wilde_1_1888_25->n220_a_wilde_1_1888_26 n220_a_wilde_1_1888_27->n220_a_wilde_1_1888_28 n220_a_wilde_1_1888_29->n220_a_wilde_1_1888_30 n220_a_wilde_1_1888_31->n220_a_wilde_1_1888_32 
( (IP-MAT (NP-SBJ;{DEATH} (NPR Death;{Death}))
          (BEP;_Ln_ is;{be})
          (NP-PRD (D the;{the})
                  (N brother;{brother})
                  (PP (P-ROLE of;{of})
                      (NP (NPR Sleep;{Sleep}))))
          (PUNC ,)
          (CP-QUE-TAG (IP-SUB (BEP;_Ln_ is;{be})
                              (NP-SBJ;{DEATH} (PRO he;{he}))
                              (NEG not;{not})))
          (PUNC ?)
          (PURQ <rdquo>))
  (ID 220_a_wilde_1_1888))