TSPC 102_a_stuck

102_a_stuck_japan
In Europe and America, right - wing movements point to it as a shining example of racial purity and social harmony.

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_r_0102_0008__wing, attrib19).
arc(r_0102_0010__point, r_0102_0003__and, r_0102_0001__In_nim5).
arc(r_0102_0010__point, r_0102_0004__America, r_0102_0011__to_nim33).
arc(r_0102_0010__point, r_0102_0009__movements, arg0).
arc(r_0102_0010__point, r_0102_0014__a_r_0102_0016__example, r_0102_0013__as_nim39).
arc(r_0102_0014__a_r_0102_0016__example, r_0102_0015__shining, attrib42).
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, attrib53).
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, attrib62).

fof(formula,axiom,
    ? [R_0102_0002__EUROPE,R_0102_0004__AMERICA,R_0102_0003__AND,R_0102_0006__RIGHT_R_0102_0008__WING,R_0102_0009__MOVEMENTS,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_0008__wing(R_0102_0006__RIGHT_R_0102_0008__WING)
      & 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_nim39(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_attrib62(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_attrib53(R_0102_0019__PURITY,R_0102_0018__RACIAL)
      & has_attrib42(R_0102_0014__A_R_0102_0016__EXAMPLE,R_0102_0015__SHINING)
      & has_arg0(R_0102_0010__POINT,R_0102_0009__MOVEMENTS)
      & r_0102_0009__movements(R_0102_0009__MOVEMENTS)
      & has_attrib19(R_0102_0009__MOVEMENTS,R_0102_0006__RIGHT_R_0102_0008__WING)
      & has_r_0102_0011__to_nim33(R_0102_0010__POINT,R_0102_0004__AMERICA)
      & has_r_0102_0001__In_nim5(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) ) ).

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