Context                Previous, Next                Top


125_a_dick_1952
“True.”

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


%3 z_000_125_a_dick_1952_1 r_0125_0002__True True z_000_125_a_dick_1952_1->r_0125_0002__True [attrib] 
fof(formula,axiom,
    ? [Z_125_A_DICK_1952_1,R_125_2_TRUE] :
      ( true(R_125_2_TRUE)
      & z_125_a_dick_1952_1(Z_125_A_DICK_1952_1)
      & attrib4(Z_125_A_DICK_1952_1,R_125_2_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))