TSPC 32_a_fce_0100_2000

32_a_fce_0100_2000_06
‘Sometimes the bad characters in a story are more interesting than the good ones.’

( (IP-MAT;{STATEMENT1} (PULQ <lquo>)
                       (ADVP-NIM (ADV Sometimes;{sometimes}))
                       (NP-SBJ (D the;{the})
                               (ADJP (ADJ bad;{bad}))
                               (NS characters;{character})
                               (PP (P-ROLE in;{in})
                                   (NP (D a;{a})
                                       (N story;{story}))))
                       (BEP;_La_ are;{be})
                       (ADJP-PRD (ADVP (ADVR more;{more}))
                                 (ADJ interesting;{interesting})
                                 (PP (P-ROLE than;{than})
                                     (NP (D the;{the})
                                         (ADJP (ADJ good;{good}))
                                         (NS ones;{one}))))
                       (PUNC .)
                       (PURQ <rquo>))
  (ID 32_a_fce_0100_2000_06))

arc(r_0032_0003__the_r_0032_0005__characters,r_0032_0004__bad,attrib).
arc(r_0032_0003__the_r_0032_0005__characters,r_0032_0007__a_r_0032_0008__story,r_0032_0006__in).
arc(r_0032_0009__are,r_0032_0002__Sometimes,nim).
arc(r_0032_0009__are,r_0032_0003__the_r_0032_0005__characters,arg0).
arc(r_0032_0009__are,r_0032_0011__interesting,prd).
arc(r_0032_0011__interesting,r_0032_0010__more,qual).
arc(r_0032_0011__interesting,r_0032_0013__the_r_0032_0015__ones,r_0032_0012__than).
arc(r_0032_0013__the_r_0032_0015__ones,r_0032_0014__good,attrib).

fof(formula,axiom,
    ? [R_0032_0002__SOMETIMES,R_0032_0004__BAD,R_0032_0007__A_R_0032_0008__STORY,R_0032_0003__THE_R_0032_0005__CHARACTERS,R_0032_0010__MORE,R_0032_0014__GOOD,R_0032_0013__THE_R_0032_0015__ONES,R_0032_0011__INTERESTING,R_0032_0009__ARE] :
      ( r_0032_0002__Sometimes(R_0032_0002__SOMETIMES)
      & r_0032_0004__bad(R_0032_0004__BAD)
      & r_0032_0007__a_r_0032_0008__story(R_0032_0007__A_R_0032_0008__STORY)
      & r_0032_0010__more(R_0032_0010__MORE)
      & r_0032_0014__good(R_0032_0014__GOOD)
      & r_0032_0009__are(R_0032_0009__ARE)
      & has_prd(R_0032_0009__ARE,R_0032_0011__INTERESTING)
      & r_0032_0011__interesting(R_0032_0011__INTERESTING)
      & has_r_0032_0012__than(R_0032_0011__INTERESTING,R_0032_0013__THE_R_0032_0015__ONES)
      & r_0032_0013__the_r_0032_0015__ones(R_0032_0013__THE_R_0032_0015__ONES)
      & has_attrib(R_0032_0013__THE_R_0032_0015__ONES,R_0032_0014__GOOD)
      & has_qual(R_0032_0011__INTERESTING,R_0032_0010__MORE)
      & has_arg0(R_0032_0009__ARE,R_0032_0003__THE_R_0032_0005__CHARACTERS)
      & r_0032_0003__the_r_0032_0005__characters(R_0032_0003__THE_R_0032_0005__CHARACTERS)
      & has_r_0032_0006__in(R_0032_0003__THE_R_0032_0005__CHARACTERS,R_0032_0007__A_R_0032_0008__STORY)
      & has_attrib(R_0032_0003__THE_R_0032_0005__CHARACTERS,R_0032_0004__BAD)
      & has_nim(R_0032_0009__ARE,R_0032_0002__SOMETIMES) ) ).