TSPC 158_a_stuck

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

arc(r_0158_0001__A_r_0158_0003__distance, r_0158_0002__short, attrib6).
arc(r_0158_0004__away, r_0158_0001__A_r_0158_0003__distance, nim3).
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, attrib22).
arc(r_0158_0010__dressed, r_0158_0009__women, arg0).
arc(r_0158_0010__dressed, r_0158_0013__silk_r_0158_0014__Kimonos, r_0158_0011__in_clr33).
arc(r_0158_0013__silk_r_0158_0014__Kimonos, r_0158_0012__gorgeous, attrib34).
arc(r_0158_0015__stood, r_0158_0004__away, nim2).
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_000_158_a_stuck_japan_43, r_0158_0015__stood, scope).
arc(z_000_158_a_stuck_japan_43, r_0158_0016__chatting, restriction).

fof(formula,axiom,
    ? [R_0158_0008__YOUNG,R_0158_0009__WOMEN,R_0158_0012__GORGEOUS,R_0158_0013__SILK_R_0158_0014__KIMONOS,R_0158_0010__DRESSED,R_0158_0002__SHORT,R_0158_0001__A_R_0158_0003__DISTANCE,R_0158_0004__AWAY,R_0158_0005__A_R_0158_0006__GROUP,R_0158_0015__STOOD,R_0158_0016__CHATTING,Z_000_158_A_STUCK_JAPAN_43] :
      ( 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_000_158_a_stuck_japan_43(Z_000_158_A_STUCK_JAPAN_43)
      & has_conj1(Z_000_158_A_STUCK_JAPAN_43,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_attrib22(R_0158_0009__WOMEN,R_0158_0008__YOUNG)
      & has_conj2(Z_000_158_A_STUCK_JAPAN_43,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_nim2(R_0158_0015__STOOD,R_0158_0004__AWAY)
      & r_0158_0004__away(R_0158_0004__AWAY)
      & has_nim3(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_attrib6(R_0158_0001__A_R_0158_0003__DISTANCE,R_0158_0002__SHORT)
      & r_0158_0010__dressed(R_0158_0010__DRESSED)
      & has_r_0158_0011__in_clr33(R_0158_0010__DRESSED,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_attrib34(R_0158_0013__SILK_R_0158_0014__KIMONOS,R_0158_0012__GORGEOUS)
      & has_arg0(R_0158_0010__DRESSED,R_0158_0009__WOMEN) ) ).

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