22_a_beeton_1861
Here, as elsewhere, honesty is the best policy:
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).
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) ) ).
( (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))