21_a_beeton_1861
Here, as elsewhere, honesty is the best policy:
( (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 21_a_beeton_1861;2164-1))
arc(r_0021_0004__elsewhere,r_0021_0003__as,qual).
arc(r_0021_0007__is,r_0021_0001__Here,nim).
arc(r_0021_0007__is,r_0021_0004__elsewhere,nim).
arc(r_0021_0007__is,r_0021_0006__honesty,arg0).
arc(r_0021_0007__is,r_0021_0008__the_r_0021_0010__policy,prd).
arc(r_0021_0008__the_r_0021_0010__policy,r_0021_0009__best,attrib).
fof(formula,axiom,
? [R_0021_0001__HERE,R_0021_0003__AS,R_0021_0004__ELSEWHERE,R_0021_0006__HONESTY,R_0021_0009__BEST,R_0021_0008__THE_R_0021_0010__POLICY,R_0021_0007__IS] :
( r_0021_0001__Here(R_0021_0001__HERE)
& r_0021_0003__as(R_0021_0003__AS)
& r_0021_0006__honesty(R_0021_0006__HONESTY)
& r_0021_0009__best(R_0021_0009__BEST)
& r_0021_0007__is(R_0021_0007__IS)
& has_prd(R_0021_0007__IS,R_0021_0008__THE_R_0021_0010__POLICY)
& r_0021_0008__the_r_0021_0010__policy(R_0021_0008__THE_R_0021_0010__POLICY)
& has_attrib(R_0021_0008__THE_R_0021_0010__POLICY,R_0021_0009__BEST)
& has_arg0(R_0021_0007__IS,R_0021_0006__HONESTY)
& has_nim(R_0021_0007__IS,R_0021_0004__ELSEWHERE)
& r_0021_0004__elsewhere(R_0021_0004__ELSEWHERE)
& has_qual(R_0021_0004__ELSEWHERE,R_0021_0003__AS)
& has_nim(R_0021_0007__IS,R_0021_0001__HERE) ) ).