Context                Previous, Next                Top


125_a_dick_1952
“True.”

n125_a_dick_1952 n125_a_dick_1952__1_1_1 <ldquo> n125_a_dick_1952__1_2_1_1 True n125_a_dick_1952__1_3_1 . n125_a_dick_1952__1_4_1 <rdquo> n125_a_dick_1952__1 FRAG n125_a_dick_1952__1_1 PULQ n125_a_dick_1952__1->n125_a_dick_1952__1_1 n125_a_dick_1952__1_2 ADJP n125_a_dick_1952__1->n125_a_dick_1952__1_2 n125_a_dick_1952__1_3 PUNC n125_a_dick_1952__1->n125_a_dick_1952__1_3 n125_a_dick_1952__1_4 PURQ n125_a_dick_1952__1->n125_a_dick_1952__1_4 n125_a_dick_1952__1_1->n125_a_dick_1952__1_1_1 n125_a_dick_1952__1_2_1 ADJ n125_a_dick_1952__1_2->n125_a_dick_1952__1_2_1 n125_a_dick_1952__1_2_1->n125_a_dick_1952__1_2_1_1 n125_a_dick_1952__1_3->n125_a_dick_1952__1_3_1 n125_a_dick_1952__1_4->n125_a_dick_1952__1_4_1 
( (FRAG (PULQ <ldquo>)
        (ADJP (ADJ True;{true}))
        (PUNC .)
        (PURQ <rdquo>))
  (ID 125_a_dick_1952))


%3 z_0125_5002 r_0125_0002__True True z_0125_5002->r_0125_0002__True [attrib] 
arc(z_0125_5002,r_0125_0002__True,attrib).


%3 z_0125_5002 r_0125_0002__True True z_0125_5002->r_0125_0002__True [attrib] 
fof(formula,axiom,
    ? [R_0125_0002__TRUE,Z_0125_5002] :
      ( r_0125_0002__True(R_0125_0002__TRUE)
      & z_0125_5002(Z_0125_5002)
      & has_attrib(Z_0125_5002,R_0125_0002__TRUE) ) ).