102_a_stuck_japan
In Europe and America, right - wing movements point to it as a shining example of racial purity and social harmony.
( (IP-MAT (PP-NIM (P-ROLE In;{in})
(NP (NLYR (NLYR (NPR Europe;{Europe}))
(CONJP (CONJ and;{and})
(NLYR (NPR America;{America}))))))
(PUNC ,)
(NP-SBJ (ADJP (ADJ right;{right})
(PUNC <hyphen>)
(N wing;{wing}))
(NS movements;{movement}))
(VBP;__ point;{point})
(PP-NIM (P-ROLE to;{to})
(NP (PRO it;{it})))
(PP-NIM (P-ROLE as;{as})
(NP (D a;{a})
(ADJP (ADJ shining;{shining}))
(N example;{example})
(PP (P-ROLE of;{of})
(NP (NLYR (NLYR (ADJP (ADJ racial;{racial}))
(N purity;{purity}))
(CONJP (CONJ and;{and})
(NLYR (ADJP (ADJ social;{social}))
(N harmony;{harmony}))))))))
(PUNC .))
(ID 102_a_stuck_japan))
arc(r_0102_0003__and,r_0102_0002__Europe,conj1).
arc(r_0102_0003__and,r_0102_0004__America,conj2).
arc(r_0102_0009__movements,r_0102_0006__right,attrib).
arc(r_0102_0010__point,r_0102_0003__and,r_0102_0001__In__nim).
arc(r_0102_0010__point,r_0102_0009__movements,arg0).
arc(r_0102_0010__point,r_0102_0012__it,r_0102_0011__to__nim).
arc(r_0102_0010__point,r_0102_0014__a_r_0102_0016__example,r_0102_0013__as__nim).
arc(r_0102_0014__a_r_0102_0016__example,r_0102_0015__shining,attrib).
arc(r_0102_0014__a_r_0102_0016__example,r_0102_0020__and,r_0102_0017__of).
arc(r_0102_0019__purity,r_0102_0018__racial,attrib).
arc(r_0102_0020__and,r_0102_0019__purity,conj1).
arc(r_0102_0020__and,r_0102_0022__harmony,conj2).
arc(r_0102_0022__harmony,r_0102_0021__social,attrib).
fof(formula,axiom,
? [R_0102_0002__EUROPE,R_0102_0004__AMERICA,R_0102_0003__AND,R_0102_0006__RIGHT,R_0102_0009__MOVEMENTS,R_0102_0012__IT,R_0102_0015__SHINING,R_0102_0018__RACIAL,R_0102_0019__PURITY,R_0102_0021__SOCIAL,R_0102_0022__HARMONY,R_0102_0020__AND,R_0102_0014__A_R_0102_0016__EXAMPLE,R_0102_0010__POINT] :
( r_0102_0002__Europe(R_0102_0002__EUROPE)
& r_0102_0004__America(R_0102_0004__AMERICA)
& r_0102_0006__right(R_0102_0006__RIGHT)
& r_0102_0012__it(R_0102_0012__IT)
& r_0102_0015__shining(R_0102_0015__SHINING)
& r_0102_0018__racial(R_0102_0018__RACIAL)
& r_0102_0021__social(R_0102_0021__SOCIAL)
& r_0102_0010__point(R_0102_0010__POINT)
& has_r_0102_0013__as__nim(R_0102_0010__POINT,R_0102_0014__A_R_0102_0016__EXAMPLE)
& r_0102_0014__a_r_0102_0016__example(R_0102_0014__A_R_0102_0016__EXAMPLE)
& has_r_0102_0017__of(R_0102_0014__A_R_0102_0016__EXAMPLE,R_0102_0020__AND)
& r_0102_0020__and(R_0102_0020__AND)
& has_conj2(R_0102_0020__AND,R_0102_0022__HARMONY)
& r_0102_0022__harmony(R_0102_0022__HARMONY)
& has_attrib(R_0102_0022__HARMONY,R_0102_0021__SOCIAL)
& has_conj1(R_0102_0020__AND,R_0102_0019__PURITY)
& r_0102_0019__purity(R_0102_0019__PURITY)
& has_attrib(R_0102_0019__PURITY,R_0102_0018__RACIAL)
& has_attrib(R_0102_0014__A_R_0102_0016__EXAMPLE,R_0102_0015__SHINING)
& has_r_0102_0011__to__nim(R_0102_0010__POINT,R_0102_0012__IT)
& has_arg0(R_0102_0010__POINT,R_0102_0009__MOVEMENTS)
& r_0102_0009__movements(R_0102_0009__MOVEMENTS)
& has_attrib(R_0102_0009__MOVEMENTS,R_0102_0006__RIGHT)
& has_r_0102_0001__In__nim(R_0102_0010__POINT,R_0102_0003__AND)
& r_0102_0003__and(R_0102_0003__AND)
& has_conj2(R_0102_0003__AND,R_0102_0004__AMERICA)
& has_conj1(R_0102_0003__AND,R_0102_0002__EUROPE) ) ).