TSPC 146_a_stuck

146_a_stuck_japan
Younger Japanese are less likely to be married or have children.

( (IP-MAT (NP-SBJ (ADJP (ADJR Younger;{young}))
                  (NS Japanese;{Japanese}))
          (ILYR (ILYR (BEP;__ are;{be})
                      (ADJP-PRD (ADVP (ADVR less;{less}))
                                (ADJ likely;{likely})
                                (IP-INF (TO to;{to})
                                        (BE;_La_ be;{be})
                                        (ADJP-PRD (ADJ married;{married})))))
                (CONJP (CONJ or;{or})
                       (ILYR (HVP;_Tn_ have;{have})
                             (NP-OB1 (NS children;{child})))))
          (PUNC .))
  (ID 146_a_stuck_japan))

arc(r_0146_0002__Japanese,r_0146_0001__Younger,attrib).
arc(r_0146_0003__are,r_0146_0002__Japanese,arg0).
arc(r_0146_0003__are,r_0146_0005__likely,prd).
arc(r_0146_0005__likely,r_0146_0004__less,qual).
arc(r_0146_0005__likely,r_0146_0007__be,emb).
arc(r_0146_0007__be,r_0146_0008__married,prd).
arc(r_0146_0007__be,z_0146_5007,arg0).
arc(r_0146_0009__or,r_0146_0003__are,conj1).
arc(r_0146_0009__or,r_0146_0010__have,conj2).
arc(r_0146_0010__have,r_0146_0002__Japanese,arg0).
arc(r_0146_0010__have,r_0146_0011__children,arg1).

fof(formula,axiom,
    ? [R_0146_0001__YOUNGER,R_0146_0002__JAPANESE,R_0146_0004__LESS,R_0146_0008__MARRIED,Z_0146_5007,R_0146_0007__BE,R_0146_0005__LIKELY,R_0146_0003__ARE,R_0146_0011__CHILDREN,R_0146_0010__HAVE,R_0146_0009__OR] :
      ( r_0146_0001__Younger(R_0146_0001__YOUNGER)
      & r_0146_0004__less(R_0146_0004__LESS)
      & r_0146_0008__married(R_0146_0008__MARRIED)
      & r_0146_0011__children(R_0146_0011__CHILDREN)
      & z_0146_5007(Z_0146_5007)
      & r_0146_0009__or(R_0146_0009__OR)
      & has_conj2(R_0146_0009__OR,R_0146_0010__HAVE)
      & r_0146_0010__have(R_0146_0010__HAVE)
      & has_arg1(R_0146_0010__HAVE,R_0146_0011__CHILDREN)
      & has_arg0(R_0146_0010__HAVE,R_0146_0002__JAPANESE)
      & r_0146_0002__Japanese(R_0146_0002__JAPANESE)
      & has_attrib(R_0146_0002__JAPANESE,R_0146_0001__YOUNGER)
      & has_conj1(R_0146_0009__OR,R_0146_0003__ARE)
      & r_0146_0003__are(R_0146_0003__ARE)
      & has_prd(R_0146_0003__ARE,R_0146_0005__LIKELY)
      & r_0146_0005__likely(R_0146_0005__LIKELY)
      & has_emb(R_0146_0005__LIKELY,R_0146_0007__BE)
      & r_0146_0007__be(R_0146_0007__BE)
      & has_arg0(R_0146_0007__BE,Z_0146_5007)
      & has_prd(R_0146_0007__BE,R_0146_0008__MARRIED)
      & has_qual(R_0146_0005__LIKELY,R_0146_0004__LESS)
      & has_arg0(R_0146_0003__ARE,R_0146_0002__JAPANESE) ) ).