Context                Previous, Next                Top


374_a_dick_1952
Honored, respected.”

n374_a_dick_1952 n374_a_dick_1952__1_1_1 * n374_a_dick_1952__1_2_1_1_1 Honored n374_a_dick_1952__1_2_2_1 , n374_a_dick_1952__1_2_3_1_1_1 respected n374_a_dick_1952__1_3_1 . n374_a_dick_1952__1_4_1 <rdquo> n374_a_dick_1952__1 IP-PPL n374_a_dick_1952__1_1 NP-LGS n374_a_dick_1952__1->n374_a_dick_1952__1_1 n374_a_dick_1952__1_2 ILYR n374_a_dick_1952__1->n374_a_dick_1952__1_2 n374_a_dick_1952__1_3 PUNC n374_a_dick_1952__1->n374_a_dick_1952__1_3 n374_a_dick_1952__1_4 PURQ n374_a_dick_1952__1->n374_a_dick_1952__1_4 n374_a_dick_1952__1_1->n374_a_dick_1952__1_1_1 n374_a_dick_1952__1_2_1 ILYR n374_a_dick_1952__1_2->n374_a_dick_1952__1_2_1 n374_a_dick_1952__1_2_2 PUNC n374_a_dick_1952__1_2->n374_a_dick_1952__1_2_2 n374_a_dick_1952__1_2_3 CONJP n374_a_dick_1952__1_2->n374_a_dick_1952__1_2_3 n374_a_dick_1952__1_2_1_1 VVN;_Tn_ n374_a_dick_1952__1_2_1->n374_a_dick_1952__1_2_1_1 n374_a_dick_1952__1_2_1_1->n374_a_dick_1952__1_2_1_1_1 n374_a_dick_1952__1_2_2->n374_a_dick_1952__1_2_2_1 n374_a_dick_1952__1_2_3_1 ILYR n374_a_dick_1952__1_2_3->n374_a_dick_1952__1_2_3_1 n374_a_dick_1952__1_2_3_1_1 VVN;_Tn_ n374_a_dick_1952__1_2_3_1->n374_a_dick_1952__1_2_3_1_1 n374_a_dick_1952__1_2_3_1_1->n374_a_dick_1952__1_2_3_1_1_1 n374_a_dick_1952__1_3->n374_a_dick_1952__1_3_1 n374_a_dick_1952__1_4->n374_a_dick_1952__1_4_1 
( (IP-PPL (NP-LGS *)
          (ILYR (ILYR (VVN;_Tn_ Honored;{honored}))
                (PUNC ,)
                (CONJP (ILYR (VVN;_Tn_ respected;{respected}))))
          (PUNC .)
          (PURQ <rdquo>))
  (ID 374_a_dick_1952))


%3 z_0374_5004 r_0374_0003__respected respected z_0374_5004->r_0374_0003__respected [conj2] r_0374_0001__Honored Honored z_0374_5004->r_0374_0001__Honored [conj1] z_0374_5003___star_ * r_0374_0003__respected->z_0374_5003___star_ [arg0] z_0374_5002 r_0374_0003__respected->z_0374_5002 [arg1] r_0374_0001__Honored->z_0374_5003___star_ [arg0] r_0374_0001__Honored->z_0374_5002 [arg1] 
arc(r_0374_0001__Honored,z_0374_5002,arg1).
arc(r_0374_0001__Honored,z_0374_5003___star_,arg0).
arc(r_0374_0003__respected,z_0374_5002,arg1).
arc(r_0374_0003__respected,z_0374_5003___star_,arg0).
arc(z_0374_5004,r_0374_0001__Honored,conj1).
arc(z_0374_5004,r_0374_0003__respected,conj2).


%3 r_0374_0001__Honored Honored z_0374_5002 r_0374_0001__Honored->z_0374_5002 [arg1] z_0374_5003___star_ * r_0374_0001__Honored->z_0374_5003___star_ [arg0] r_0374_0003__respected respected r_0374_0003__respected->z_0374_5002 [arg1] r_0374_0003__respected->z_0374_5003___star_ [arg0] z_0374_5004 z_0374_5004->r_0374_0001__Honored [conj1] z_0374_5004->r_0374_0003__respected [conj2] 
fof(formula,axiom,
    ? [Z_0374_5002,Z_0374_5003___STAR_,R_0374_0001__HONORED,R_0374_0003__RESPECTED,Z_0374_5004] :
      ( z_0374_5002(Z_0374_5002)
      & z_0374_5003___star_(Z_0374_5003___STAR_)
      & z_0374_5004(Z_0374_5004)
      & has_conj2(Z_0374_5004,R_0374_0003__RESPECTED)
      & r_0374_0003__respected(R_0374_0003__RESPECTED)
      & has_arg0(R_0374_0003__RESPECTED,Z_0374_5003___STAR_)
      & has_arg1(R_0374_0003__RESPECTED,Z_0374_5002)
      & has_conj1(Z_0374_5004,R_0374_0001__HONORED)
      & r_0374_0001__Honored(R_0374_0001__HONORED)
      & has_arg0(R_0374_0001__HONORED,Z_0374_5003___STAR_)
      & has_arg1(R_0374_0001__HONORED,Z_0374_5002) ) ).