148_a_stuck_japan
Just 13 <percnt> of Japanese managers are women, and fewer than one in 10 MPs.
arc(r_0148_0002__13_r_0148_0003___percnt_, r_0148_0001__Just, qual3).
arc(r_0148_0002__13_r_0148_0003___percnt_, r_0148_0006__managers, r_0148_0004__of).
arc(r_0148_0006__managers, r_0148_0005__Japanese, attrib14).
arc(r_0148_0007__are, r_0148_0002__13_r_0148_0003___percnt_, arg0).
arc(r_0148_0007__are, r_0148_0010__and, prd).
arc(r_0148_0010__and, r_0148_0008__women, conj1).
arc(r_0148_0010__and, z_000_148_a_stuck_japan_31, conj2).
arc(r_0148_0011__fewer, r_0148_0013__one, r_0148_0012__than).
arc(z_000_148_a_stuck_japan_31, r_0148_0011__fewer, attrib32).
arc(z_000_148_a_stuck_japan_31, r_0148_0015__10_r_0148_0016__MPs, r_0148_0014__in).
fof(formula,axiom,
? [R_0148_0001__JUST,R_0148_0005__JAPANESE,R_0148_0006__MANAGERS,R_0148_0002__13_R_0148_0003___PERCNT_,R_0148_0008__WOMEN,R_0148_0013__ONE,R_0148_0011__FEWER,R_0148_0015__10_R_0148_0016__MPS,Z_000_148_A_STUCK_JAPAN_31,R_0148_0010__AND,R_0148_0007__ARE] :
( r_0148_0001__Just(R_0148_0001__JUST)
& r_0148_0005__Japanese(R_0148_0005__JAPANESE)
& r_0148_0008__women(R_0148_0008__WOMEN)
& r_0148_0013__one(R_0148_0013__ONE)
& r_0148_0015__10_r_0148_0016__MPs(R_0148_0015__10_R_0148_0016__MPS)
& r_0148_0007__are(R_0148_0007__ARE)
& has_prd(R_0148_0007__ARE,R_0148_0010__AND)
& r_0148_0010__and(R_0148_0010__AND)
& has_conj2(R_0148_0010__AND,Z_000_148_A_STUCK_JAPAN_31)
& z_000_148_a_stuck_japan_31(Z_000_148_A_STUCK_JAPAN_31)
& has_r_0148_0014__in(Z_000_148_A_STUCK_JAPAN_31,R_0148_0015__10_R_0148_0016__MPS)
& has_attrib32(Z_000_148_A_STUCK_JAPAN_31,R_0148_0011__FEWER)
& r_0148_0011__fewer(R_0148_0011__FEWER)
& has_r_0148_0012__than(R_0148_0011__FEWER,R_0148_0013__ONE)
& has_conj1(R_0148_0010__AND,R_0148_0008__WOMEN)
& has_arg0(R_0148_0007__ARE,R_0148_0002__13_R_0148_0003___PERCNT_)
& r_0148_0002__13_r_0148_0003___percnt_(R_0148_0002__13_R_0148_0003___PERCNT_)
& has_r_0148_0004__of(R_0148_0002__13_R_0148_0003___PERCNT_,R_0148_0006__MANAGERS)
& r_0148_0006__managers(R_0148_0006__MANAGERS)
& has_attrib14(R_0148_0006__MANAGERS,R_0148_0005__JAPANESE)
& has_qual3(R_0148_0002__13_R_0148_0003___PERCNT_,R_0148_0001__JUST) ) ).
( (IP-MAT (NP-SBJ (ADVP (ADV Just;{just}))
(NUM 13)
(N <percnt>)
(PP (P-ROLE of;{of})
(NP (ADJP (ADJ Japanese;{Japanese}))
(NS managers;{manager}))))
(BEP;__ are;{be})
(NP-PRD (NLYR (NLYR (NS women;{woman}))
(PUNC ,)
(CONJP (CONJ and;{and})
(NLYR (ADJP (ADJR fewer;{few})
(PP (P-ROLE than;{than})
(NP (NUM one;{one}))))
(PP (P-ROLE in;{in})
(NP (NUM 10)
(NS MPs;{MP})))))))
(PUNC .))
(ID 148_a_stuck_japan))