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_0003__the_r_0220_0004__brother the brother r_0220_0006__Sleep Sleep r_0220_0003__the_r_0220_0004__brother->r_0220_0006__Sleep of r_0220_0002__is is r_0220_0002__is->r_0220_0003__the_r_0220_0004__brother [prd] r_0220_0001__Death Death r_0220_0002__is->r_0220_0001__Death [arg0] 
fof(formula,axiom,
    ? [R_0220_0001__DEATH,R_0220_0006__SLEEP,R_0220_0003__THE_R_0220_0004__BROTHER,R_0220_0002__IS] :
      ( r_0220_0001__Death(R_0220_0001__DEATH)
      & r_0220_0006__Sleep(R_0220_0006__SLEEP)
      & r_0220_0002__is(R_0220_0002__IS)
      & has_prd(R_0220_0002__IS,R_0220_0003__THE_R_0220_0004__BROTHER)
      & r_0220_0003__the_r_0220_0004__brother(R_0220_0003__THE_R_0220_0004__BROTHER)
      & has_r_0220_0005__of(R_0220_0003__THE_R_0220_0004__BROTHER,R_0220_0006__SLEEP)
      & has_arg0(R_0220_0002__IS,R_0220_0001__DEATH) ) ).


n220_a_wilde_1_1888 n220_a_wilde_1_1888__1_1_1_1 Death n220_a_wilde_1_1888__1_2_1 is n220_a_wilde_1_1888__1_3_1_1 the n220_a_wilde_1_1888__1_3_2_1 brother n220_a_wilde_1_1888__1_3_3_1_1 of n220_a_wilde_1_1888__1_3_3_2_1_1 Sleep n220_a_wilde_1_1888__1_4_1 , n220_a_wilde_1_1888__1_5_1_1_1 is n220_a_wilde_1_1888__1_5_1_2_1_1 he n220_a_wilde_1_1888__1_5_1_3_1 not n220_a_wilde_1_1888__1_6_1 ? n220_a_wilde_1_1888__1_7_1 <rdquo> n220_a_wilde_1_1888__1 IP-MAT n220_a_wilde_1_1888__1_1 NP-SBJ n220_a_wilde_1_1888__1->n220_a_wilde_1_1888__1_1 n220_a_wilde_1_1888__1_2 BEP;_Ln_ n220_a_wilde_1_1888__1->n220_a_wilde_1_1888__1_2 n220_a_wilde_1_1888__1_3 NP-PRD n220_a_wilde_1_1888__1->n220_a_wilde_1_1888__1_3 n220_a_wilde_1_1888__1_4 PUNC n220_a_wilde_1_1888__1->n220_a_wilde_1_1888__1_4 n220_a_wilde_1_1888__1_5 CP-QUE-TAG n220_a_wilde_1_1888__1->n220_a_wilde_1_1888__1_5 n220_a_wilde_1_1888__1_6 PUNC n220_a_wilde_1_1888__1->n220_a_wilde_1_1888__1_6 n220_a_wilde_1_1888__1_7 PURQ n220_a_wilde_1_1888__1->n220_a_wilde_1_1888__1_7 n220_a_wilde_1_1888__1_1_1 NPR n220_a_wilde_1_1888__1_1->n220_a_wilde_1_1888__1_1_1 n220_a_wilde_1_1888__1_1_1->n220_a_wilde_1_1888__1_1_1_1 n220_a_wilde_1_1888__1_2->n220_a_wilde_1_1888__1_2_1 n220_a_wilde_1_1888__1_3_1 D n220_a_wilde_1_1888__1_3->n220_a_wilde_1_1888__1_3_1 n220_a_wilde_1_1888__1_3_2 N n220_a_wilde_1_1888__1_3->n220_a_wilde_1_1888__1_3_2 n220_a_wilde_1_1888__1_3_3 PP n220_a_wilde_1_1888__1_3->n220_a_wilde_1_1888__1_3_3 n220_a_wilde_1_1888__1_3_1->n220_a_wilde_1_1888__1_3_1_1 n220_a_wilde_1_1888__1_3_2->n220_a_wilde_1_1888__1_3_2_1 n220_a_wilde_1_1888__1_3_3_1 P-ROLE n220_a_wilde_1_1888__1_3_3->n220_a_wilde_1_1888__1_3_3_1 n220_a_wilde_1_1888__1_3_3_2 NP n220_a_wilde_1_1888__1_3_3->n220_a_wilde_1_1888__1_3_3_2 n220_a_wilde_1_1888__1_3_3_1->n220_a_wilde_1_1888__1_3_3_1_1 n220_a_wilde_1_1888__1_3_3_2_1 NPR n220_a_wilde_1_1888__1_3_3_2->n220_a_wilde_1_1888__1_3_3_2_1 n220_a_wilde_1_1888__1_3_3_2_1->n220_a_wilde_1_1888__1_3_3_2_1_1 n220_a_wilde_1_1888__1_4->n220_a_wilde_1_1888__1_4_1 n220_a_wilde_1_1888__1_5_1 IP-SUB n220_a_wilde_1_1888__1_5->n220_a_wilde_1_1888__1_5_1 n220_a_wilde_1_1888__1_5_1_1 BEP;_Ln_ n220_a_wilde_1_1888__1_5_1->n220_a_wilde_1_1888__1_5_1_1 n220_a_wilde_1_1888__1_5_1_2 NP-SBJ n220_a_wilde_1_1888__1_5_1->n220_a_wilde_1_1888__1_5_1_2 n220_a_wilde_1_1888__1_5_1_3 NEG n220_a_wilde_1_1888__1_5_1->n220_a_wilde_1_1888__1_5_1_3 n220_a_wilde_1_1888__1_5_1_1->n220_a_wilde_1_1888__1_5_1_1_1 n220_a_wilde_1_1888__1_5_1_2_1 PRO n220_a_wilde_1_1888__1_5_1_2->n220_a_wilde_1_1888__1_5_1_2_1 n220_a_wilde_1_1888__1_5_1_2_1->n220_a_wilde_1_1888__1_5_1_2_1_1 n220_a_wilde_1_1888__1_5_1_3->n220_a_wilde_1_1888__1_5_1_3_1 n220_a_wilde_1_1888__1_6->n220_a_wilde_1_1888__1_6_1 n220_a_wilde_1_1888__1_7->n220_a_wilde_1_1888__1_7_1 
( (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))