TSPC 148_a_stuck

148_a_stuck_japan
Just 13 <percnt> of Japanese managers are women, and fewer than one in 10 MPs.

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

arc(r_0148_0002__13_r_0148_0003___percnt_,r_0148_0001__Just,qual).
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,attrib).
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_0148_5011,conj2).
arc(r_0148_0011__fewer,r_0148_0013__one,r_0148_0012__than).
arc(z_0148_5011,r_0148_0011__fewer,attrib).
arc(z_0148_5011,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_0148_5011,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_0148_5011)
      & z_0148_5011(Z_0148_5011)
      & has_r_0148_0014__in(Z_0148_5011,R_0148_0015__10_R_0148_0016__MPS)
      & has_attrib(Z_0148_5011,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_attrib(R_0148_0006__MANAGERS,R_0148_0005__JAPANESE)
      & has_qual(R_0148_0002__13_R_0148_0003___PERCNT_,R_0148_0001__JUST) ) ).