Context                Previous, Next                Top


22_a_beeton_1861
Here, as elsewhere, honesty is the best policy:

%3 r_0022_0004__elsewhere elsewhere r_0022_0003__as as r_0022_0004__elsewhere->r_0022_0003__as [qual] r_0022_0007__is is r_0022_0007__is->r_0022_0004__elsewhere [nim] r_0022_0001__Here Here r_0022_0007__is->r_0022_0001__Here [nim] r_0022_0006__honesty honesty r_0022_0007__is->r_0022_0006__honesty [arg0] r_0022_0008__the_r_0022_0010__policy the policy r_0022_0007__is->r_0022_0008__the_r_0022_0010__policy [prd] r_0022_0009__best best r_0022_0008__the_r_0022_0010__policy->r_0022_0009__best [attrib] 
arc(r_0022_0004__elsewhere, r_0022_0003__as, qual8).
arc(r_0022_0007__is, r_0022_0001__Here, nim2).
arc(r_0022_0007__is, r_0022_0004__elsewhere, nim7).
arc(r_0022_0007__is, r_0022_0006__honesty, arg0).
arc(r_0022_0007__is, r_0022_0008__the_r_0022_0010__policy, prd).
arc(r_0022_0008__the_r_0022_0010__policy, r_0022_0009__best, attrib23).


%3 r_0022_0008__the_r_0022_0010__policy the policy r_0022_0009__best best r_0022_0008__the_r_0022_0010__policy->r_0022_0009__best [attrib] r_0022_0007__is is r_0022_0007__is->r_0022_0008__the_r_0022_0010__policy [prd] r_0022_0006__honesty honesty r_0022_0007__is->r_0022_0006__honesty [arg0] r_0022_0004__elsewhere elsewhere r_0022_0007__is->r_0022_0004__elsewhere [nim] r_0022_0001__Here Here r_0022_0007__is->r_0022_0001__Here [nim] r_0022_0003__as as r_0022_0004__elsewhere->r_0022_0003__as [qual] 
fof(formula,axiom,
    ? [R_22_7_IS,R_22_6_HONESTY,R_22_1_HERE,R_22_4_ELSEWHERE,R_22_3_AS,R_22_8_THE_POLICY,R_22_9_BEST] :
      ( honesty(R_22_6_HONESTY)
      & here(R_22_1_HERE)
      & as(R_22_3_AS)
      & best(R_22_9_BEST)
      & is(R_22_7_IS,R_22_6_HONESTY,R_22_8_THE_POLICY)
      & the_policy(R_22_8_THE_POLICY)
      & attrib23(R_22_8_THE_POLICY,R_22_9_BEST)
      & nim2(R_22_7_IS,R_22_1_HERE)
      & nim7(R_22_7_IS,R_22_4_ELSEWHERE)
      & elsewhere(R_22_4_ELSEWHERE)
      & qual8(R_22_4_ELSEWHERE,R_22_3_AS) ) ).


n22_a_beeton_1861 n22_a_beeton_1861__1_1_1_1 Here n22_a_beeton_1861__1_2_1 , n22_a_beeton_1861__1_3_1_1_1 as n22_a_beeton_1861__1_3_2_1 elsewhere n22_a_beeton_1861__1_4_1 , n22_a_beeton_1861__1_5_1_1 honesty n22_a_beeton_1861__1_6_1 is n22_a_beeton_1861__1_7_1_1 the n22_a_beeton_1861__1_7_2_1_1 best n22_a_beeton_1861__1_7_3_1 policy n22_a_beeton_1861__1_8_1 : n22_a_beeton_1861__1 IP-MAT n22_a_beeton_1861__1_1 ADVP-NIM n22_a_beeton_1861__1->n22_a_beeton_1861__1_1 n22_a_beeton_1861__1_2 PUNC n22_a_beeton_1861__1->n22_a_beeton_1861__1_2 n22_a_beeton_1861__1_3 ADVP-NIM n22_a_beeton_1861__1->n22_a_beeton_1861__1_3 n22_a_beeton_1861__1_4 PUNC n22_a_beeton_1861__1->n22_a_beeton_1861__1_4 n22_a_beeton_1861__1_5 NP-SBJ n22_a_beeton_1861__1->n22_a_beeton_1861__1_5 n22_a_beeton_1861__1_6 BEP;_Ln_ n22_a_beeton_1861__1->n22_a_beeton_1861__1_6 n22_a_beeton_1861__1_7 NP-PRD n22_a_beeton_1861__1->n22_a_beeton_1861__1_7 n22_a_beeton_1861__1_8 PUNC n22_a_beeton_1861__1->n22_a_beeton_1861__1_8 n22_a_beeton_1861__1_1_1 ADV n22_a_beeton_1861__1_1->n22_a_beeton_1861__1_1_1 n22_a_beeton_1861__1_1_1->n22_a_beeton_1861__1_1_1_1 n22_a_beeton_1861__1_2->n22_a_beeton_1861__1_2_1 n22_a_beeton_1861__1_3_1 ADVP n22_a_beeton_1861__1_3->n22_a_beeton_1861__1_3_1 n22_a_beeton_1861__1_3_2 ADV n22_a_beeton_1861__1_3->n22_a_beeton_1861__1_3_2 n22_a_beeton_1861__1_3_1_1 ADV n22_a_beeton_1861__1_3_1->n22_a_beeton_1861__1_3_1_1 n22_a_beeton_1861__1_3_1_1->n22_a_beeton_1861__1_3_1_1_1 n22_a_beeton_1861__1_3_2->n22_a_beeton_1861__1_3_2_1 n22_a_beeton_1861__1_4->n22_a_beeton_1861__1_4_1 n22_a_beeton_1861__1_5_1 N n22_a_beeton_1861__1_5->n22_a_beeton_1861__1_5_1 n22_a_beeton_1861__1_5_1->n22_a_beeton_1861__1_5_1_1 n22_a_beeton_1861__1_6->n22_a_beeton_1861__1_6_1 n22_a_beeton_1861__1_7_1 D n22_a_beeton_1861__1_7->n22_a_beeton_1861__1_7_1 n22_a_beeton_1861__1_7_2 ADJP n22_a_beeton_1861__1_7->n22_a_beeton_1861__1_7_2 n22_a_beeton_1861__1_7_3 N n22_a_beeton_1861__1_7->n22_a_beeton_1861__1_7_3 n22_a_beeton_1861__1_7_1->n22_a_beeton_1861__1_7_1_1 n22_a_beeton_1861__1_7_2_1 ADJS n22_a_beeton_1861__1_7_2->n22_a_beeton_1861__1_7_2_1 n22_a_beeton_1861__1_7_2_1->n22_a_beeton_1861__1_7_2_1_1 n22_a_beeton_1861__1_7_3->n22_a_beeton_1861__1_7_3_1 n22_a_beeton_1861__1_8->n22_a_beeton_1861__1_8_1 
( (IP-MAT (ADVP-NIM (ADV Here;{here}))
          (PUNC ,)
          (ADVP-NIM (ADVP (ADV as;{as}))
                    (ADV elsewhere;{elsewhere}))
          (PUNC ,)
          (NP-SBJ (N honesty;{honesty}))
          (BEP;_Ln_ is;{be})
          (NP-PRD (D the;{the})
                  (ADJP (ADJS best;{good}))
                  (N policy;{policy}))
          (PUNC :))
  (ID 22_a_beeton_1861;2164-1))