arc(r_0108_0002__culture, r_0108_0001__Popular, attrib3).
arc(r_0108_0003__idolises, r_0108_0002__culture, arg0).
arc(r_0108_0003__idolises, r_0108_0004__them, arg1).
arc(r_0108_0003__idolises, z_000_108_a_stuck_japan_16, prd).
arc(r_0108_0008__beautiful, r_0108_0007__more, qual22).
arc(r_0108_0009__and, r_0108_0008__beautiful, conj1).
arc(r_0108_0009__and, r_0108_0010__talented, conj2).
arc(z_000_108_a_stuck_japan_16, r_0108_0009__and, prd).

fof(formula,axiom,
    ? [R_0108_0001__POPULAR,R_0108_0002__CULTURE,R_0108_0004__THEM,R_0108_0007__MORE,R_0108_0008__BEAUTIFUL,R_0108_0010__TALENTED,R_0108_0009__AND,Z_000_108_A_STUCK_JAPAN_16,R_0108_0003__IDOLISES] :
      ( r_0108_0001__Popular(R_0108_0001__POPULAR)
      & r_0108_0004__them(R_0108_0004__THEM)
      & r_0108_0007__more(R_0108_0007__MORE)
      & r_0108_0010__talented(R_0108_0010__TALENTED)
      & r_0108_0003__idolises(R_0108_0003__IDOLISES)
      & has_prd(R_0108_0003__IDOLISES,Z_000_108_A_STUCK_JAPAN_16)
      & z_000_108_a_stuck_japan_16(Z_000_108_A_STUCK_JAPAN_16)
      & has_prd(Z_000_108_A_STUCK_JAPAN_16,R_0108_0009__AND)
      & r_0108_0009__and(R_0108_0009__AND)
      & has_conj2(R_0108_0009__AND,R_0108_0010__TALENTED)
      & has_conj1(R_0108_0009__AND,R_0108_0008__BEAUTIFUL)
      & r_0108_0008__beautiful(R_0108_0008__BEAUTIFUL)
      & has_qual22(R_0108_0008__BEAUTIFUL,R_0108_0007__MORE)
      & has_arg1(R_0108_0003__IDOLISES,R_0108_0004__THEM)
      & has_arg0(R_0108_0003__IDOLISES,R_0108_0002__CULTURE)
      & r_0108_0002__culture(R_0108_0002__CULTURE)
      & has_attrib3(R_0108_0002__CULTURE,R_0108_0001__POPULAR) ) ).

( (IP-MAT (NP-SBJ (ADJP (ADJ Popular;{popular}))
                  (N culture;{culture}))
          (VBP;_Cn.n/a_ idolises;{idolise[as]})
          (NP-OB1 (PRO them;{they}))
          (PP-PRD (P-ROLE as;{as})
                  (IP-PPL (PULQ <ldquo>)
                          (ADJP-PRD (AJLYR (AJLYR (ADVP (ADVR more;{more}))
                                                  (ADJ beautiful;{beautiful}))
                                           (CONJP (CONJ and;{and})
                                                  (AJLYR (ADJ talented;{talented})))))
                          (PURQ <rdquo>)))
          (PUNC .))
  (ID 108_a_stuck_japan))