127_a_stuck_japan
Some people joke Japan is a one - party state.
arc(r_0127_0003__joke, r_0127_0001__Some_r_0127_0002__people, arg0).
arc(r_0127_0003__joke, r_0127_0005__is, arg1).
arc(r_0127_0005__is, r_0127_0004__Japan, arg0).
arc(r_0127_0005__is, r_0127_0006__a_r_0127_0007__one_r_0127_0009__party_r_0127_0010__state, prd).
fof(formula,axiom,
? [R_127_3_JOKE,R_127_1_SOME_PEOPLE,R_127_5_IS,R_127_4_JAPAN,R_127_6_A_ONE_PARTY_STATE] :
( some_people(R_127_1_SOME_PEOPLE)
& japan(R_127_4_JAPAN)
& a_one_party_state(R_127_6_A_ONE_PARTY_STATE)
& joke(R_127_3_JOKE,R_127_1_SOME_PEOPLE,R_127_5_IS)
& is(R_127_5_IS,R_127_4_JAPAN,R_127_6_A_ONE_PARTY_STATE) ) ).
( (IP-MAT (NP-SBJ (D Some;{some})
(NS people;{person}))
(VBP;__ joke;{joke})
(CP-THT-OB1 (IP-SUB (NP-SBJ (NPR Japan;{Japan}))
(BEP;__ is;{be})
(NP-PRD (D a;{a})
(NUM one;{one})
(PUNC <hyphen>)
(N party;{party})
(N state;{state}))))
(PUNC .))
(ID 127_a_stuck_japan))