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_0022_0001__HERE,R_0022_0003__AS,R_0022_0004__ELSEWHERE,R_0022_0006__HONESTY,R_0022_0009__BEST,R_0022_0008__THE_R_0022_0010__POLICY,R_0022_0007__IS] :
      ( r_0022_0001__Here(R_0022_0001__HERE)
      & r_0022_0003__as(R_0022_0003__AS)
      & r_0022_0006__honesty(R_0022_0006__HONESTY)
      & r_0022_0009__best(R_0022_0009__BEST)
      & r_0022_0007__is(R_0022_0007__IS)
      & has_prd(R_0022_0007__IS,R_0022_0008__THE_R_0022_0010__POLICY)
      & r_0022_0008__the_r_0022_0010__policy(R_0022_0008__THE_R_0022_0010__POLICY)
      & has_attrib23(R_0022_0008__THE_R_0022_0010__POLICY,R_0022_0009__BEST)
      & has_arg0(R_0022_0007__IS,R_0022_0006__HONESTY)
      & has_nim7(R_0022_0007__IS,R_0022_0004__ELSEWHERE)
      & r_0022_0004__elsewhere(R_0022_0004__ELSEWHERE)
      & has_qual8(R_0022_0004__ELSEWHERE,R_0022_0003__AS)
      & has_nim2(R_0022_0007__IS,R_0022_0001__HERE) ) ).



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))