TSPC 158_a_stuck

158_a_stuck_japan
A short distance away a group of young women dressed in gorgeous silk Kimonos stood chatting.

( (IP-MAT (ADVP-NIM (NP (D A;{a})
                        (ADJP (ADJ short;{short}))
                        (N distance;{distance}))
                    (ADV away;{away}))
          (NP-SBJ (D a;{a})
                  (N group;{group})
                  (PP (P-ROLE of;{of})
                      (NP (ADJP (ADJ young;{young}))
                          (NS women;{woman})
                          (IP-PPL (VVN;_Ipr_ dressed;{dress[in]})
                                  (PP-CLR (P-ROLE in;{in})
                                          (NP (ADJP (ADJ gorgeous;{gorgeous}))
                                              (N silk;{silk})
                                              (NPR Kimonos;{Kimonos})))))))
          (VBD;_I_ stood;{stand})
          (PP-SCON (IP-PPL (VAG;_I_ chatting;{chat})))
          (PUNC .))
  (ID 158_a_stuck_japan))

arc(r_0158_0001__A_r_0158_0003__distance,r_0158_0002__short,attrib).
arc(r_0158_0004__away,r_0158_0001__A_r_0158_0003__distance,nim).
arc(r_0158_0005__a_r_0158_0006__group,r_0158_0009__women,r_0158_0007__of).
arc(r_0158_0009__women,r_0158_0008__young,attrib).
arc(r_0158_0010__dressed_r_0158_0011__in,r_0158_0009__women,inv_arg0).
arc(r_0158_0010__dressed_r_0158_0011__in,r_0158_0013__silk_r_0158_0014__Kimonos,arg1).
arc(r_0158_0013__silk_r_0158_0014__Kimonos,r_0158_0012__gorgeous,attrib).
arc(r_0158_0015__stood,r_0158_0004__away,nim).
arc(r_0158_0015__stood,r_0158_0005__a_r_0158_0006__group,arg0).
arc(r_0158_0016__chatting,r_0158_0005__a_r_0158_0006__group,arg0).
arc(z_0158_5009,r_0158_0015__stood,scope).
arc(z_0158_5009,r_0158_0016__chatting,restriction).

fof(formula,axiom,
    ? [R_0158_0002__SHORT,R_0158_0001__A_R_0158_0003__DISTANCE,R_0158_0004__AWAY,R_0158_0008__YOUNG,R_0158_0012__GORGEOUS,R_0158_0013__SILK_R_0158_0014__KIMONOS,R_0158_0010__DRESSED_R_0158_0011__IN,R_0158_0009__WOMEN,R_0158_0005__A_R_0158_0006__GROUP,R_0158_0015__STOOD,R_0158_0016__CHATTING,Z_0158_5009] :
      ( r_0158_0002__short(R_0158_0002__SHORT)
      & r_0158_0008__young(R_0158_0008__YOUNG)
      & r_0158_0012__gorgeous(R_0158_0012__GORGEOUS)
      & z_0158_5009(Z_0158_5009)
      & has_conj1(Z_0158_5009,R_0158_0016__CHATTING)
      & r_0158_0016__chatting(R_0158_0016__CHATTING)
      & has_arg0(R_0158_0016__CHATTING,R_0158_0005__A_R_0158_0006__GROUP)
      & r_0158_0005__a_r_0158_0006__group(R_0158_0005__A_R_0158_0006__GROUP)
      & has_r_0158_0007__of(R_0158_0005__A_R_0158_0006__GROUP,R_0158_0009__WOMEN)
      & r_0158_0009__women(R_0158_0009__WOMEN)
      & has_inv_arg0(R_0158_0009__WOMEN,R_0158_0010__DRESSED_R_0158_0011__IN)
      & r_0158_0010__dressed_r_0158_0011__in(R_0158_0010__DRESSED_R_0158_0011__IN)
      & has_arg1(R_0158_0010__DRESSED_R_0158_0011__IN,R_0158_0013__SILK_R_0158_0014__KIMONOS)
      & r_0158_0013__silk_r_0158_0014__Kimonos(R_0158_0013__SILK_R_0158_0014__KIMONOS)
      & has_attrib(R_0158_0013__SILK_R_0158_0014__KIMONOS,R_0158_0012__GORGEOUS)
      & has_attrib(R_0158_0009__WOMEN,R_0158_0008__YOUNG)
      & has_conj2(Z_0158_5009,R_0158_0015__STOOD)
      & r_0158_0015__stood(R_0158_0015__STOOD)
      & has_arg0(R_0158_0015__STOOD,R_0158_0005__A_R_0158_0006__GROUP)
      & has_nim(R_0158_0015__STOOD,R_0158_0004__AWAY)
      & r_0158_0004__away(R_0158_0004__AWAY)
      & has_nim(R_0158_0004__AWAY,R_0158_0001__A_R_0158_0003__DISTANCE)
      & r_0158_0001__A_r_0158_0003__distance(R_0158_0001__A_R_0158_0003__DISTANCE)
      & has_attrib(R_0158_0001__A_R_0158_0003__DISTANCE,R_0158_0002__SHORT) ) ).