TSPC 44_a_stuck

44_a_stuck_japan
There is now a Japan Society for Manhole Covers that claims there are 6,000 different designs.

( (IP-MAT (EX There;{there})
          (BEP;_ex_V_ is;{be})
          (ADVP-CLR (ADV now;{now}))
          (NP-ESBJ (D a;{a})
                   (NPR Japan;{Japan})
                   (NPR Society;{Society})
                   (PP (P-ROLE for;{for})
                       (NP (N Manhole;{Manhole})
                           (NS Covers;{cover})))
                   (IP-REL (C that;{that})
                           (NP-SBJ *T*)
                           (VBP;_Tf_ claims;{claim})
                           (CP-THT-OB1 (IP-SUB (EX there;{there})
                                               (BEP;_ex_V_ are;{be})
                                               (NP-ESBJ (NUM 6,000)
                                                        (ADJP (ADJ different;{different}))
                                                        (NS designs;{design}))))))
          (PUNC .))
  (ID 44_a_stuck_japan))

arc(r_0044_0002__is_r_0044_0003__now,r_0044_0004__a_r_0044_0005__Japan_r_0044_0006__Society,arg0).
arc(r_0044_0004__a_r_0044_0005__Japan_r_0044_0006__Society,r_0044_0008__Manhole_r_0044_0009__Covers,r_0044_0007__for).
arc(r_0044_0011__claims,r_0044_0004__a_r_0044_0005__Japan_r_0044_0006__Society,inv_arg0).
arc(r_0044_0011__claims,r_0044_0013__are,arg1).
arc(r_0044_0013__are,r_0044_0014__6_comma_000_r_0044_0016__designs,arg0).
arc(r_0044_0014__6_comma_000_r_0044_0016__designs,r_0044_0015__different,attrib).

fof(formula,axiom,
    ? [R_0044_0008__MANHOLE_R_0044_0009__COVERS,R_0044_0015__DIFFERENT,R_0044_0014__6_COMMA_000_R_0044_0016__DESIGNS,R_0044_0013__ARE,R_0044_0011__CLAIMS,R_0044_0004__A_R_0044_0005__JAPAN_R_0044_0006__SOCIETY,R_0044_0002__IS_R_0044_0003__NOW] :
      ( r_0044_0008__Manhole_r_0044_0009__Covers(R_0044_0008__MANHOLE_R_0044_0009__COVERS)
      & r_0044_0015__different(R_0044_0015__DIFFERENT)
      & r_0044_0002__is_r_0044_0003__now(R_0044_0002__IS_R_0044_0003__NOW)
      & has_arg0(R_0044_0002__IS_R_0044_0003__NOW,R_0044_0004__A_R_0044_0005__JAPAN_R_0044_0006__SOCIETY)
      & r_0044_0004__a_r_0044_0005__Japan_r_0044_0006__Society(R_0044_0004__A_R_0044_0005__JAPAN_R_0044_0006__SOCIETY)
      & has_inv_arg0(R_0044_0004__A_R_0044_0005__JAPAN_R_0044_0006__SOCIETY,R_0044_0011__CLAIMS)
      & r_0044_0011__claims(R_0044_0011__CLAIMS)
      & has_arg1(R_0044_0011__CLAIMS,R_0044_0013__ARE)
      & r_0044_0013__are(R_0044_0013__ARE)
      & has_arg0(R_0044_0013__ARE,R_0044_0014__6_COMMA_000_R_0044_0016__DESIGNS)
      & r_0044_0014__6_comma_000_r_0044_0016__designs(R_0044_0014__6_COMMA_000_R_0044_0016__DESIGNS)
      & has_attrib(R_0044_0014__6_COMMA_000_R_0044_0016__DESIGNS,R_0044_0015__DIFFERENT)
      & has_r_0044_0007__for(R_0044_0004__A_R_0044_0005__JAPAN_R_0044_0006__SOCIETY,R_0044_0008__MANHOLE_R_0044_0009__COVERS) ) ).