TSPC 13_a_lob

13_a_lob_g01
These dreary years of ineffective fighting provide obvious morals for those who are judges long after the event.

( (IP-MAT (NP-SBJ (D These;{these})
                  (ADJP (ADJ dreary;{dreary}))
                  (NS years;{year})
                  (PP (P-ROLE of;{of})
                      (NP (ADJP (ADJ ineffective;{ineffective}))
                          (N fighting;{fighting}))))
          (VBP;_Tn_ provide;{provide[for]})
          (NP-OB1 (ADJP (ADJ obvious;{obvious}))
                  (NS morals;{moral}))
          (PP-CLR (P-ROLE for;{for})
                  (NP (D;_nphd_ those;{those})
                      (IP-REL (NP-SBJ (RPRO who;{who}))
                              (BEP;_Ln_ are;{be})
                              (NP-PRD (NS judges;{judge}))
                              (ADVP-NIM (ADV long;{long})
                                        (PP (P-ROLE after;{after})
                                            (NP (D the;{the})
                                                (N event;{event})))))))
          (PUNC .))
  (ID 13_a_lob_g01))

arc(r_0013_0001__These_r_0013_0003__years,r_0013_0002__dreary,attrib).
arc(r_0013_0001__These_r_0013_0003__years,r_0013_0006__fighting,r_0013_0004__of).
arc(r_0013_0006__fighting,r_0013_0005__ineffective,attrib).
arc(r_0013_0007__provide,r_0013_0001__These_r_0013_0003__years,arg0).
arc(r_0013_0007__provide,r_0013_0009__morals,arg1).
arc(r_0013_0007__provide,r_0013_0011__those,r_0013_0010__for__clr).
arc(r_0013_0009__morals,r_0013_0008__obvious,attrib).
arc(r_0013_0013__are,r_0013_0011__those,arg0).
arc(r_0013_0013__are,r_0013_0014__judges,prd).
arc(r_0013_0013__are,r_0013_0015__long,nim).
arc(r_0013_0015__long,r_0013_0017__the_r_0013_0018__event,r_0013_0016__after).

fof(formula,axiom,
    ? [R_0013_0002__DREARY,R_0013_0005__INEFFECTIVE,R_0013_0006__FIGHTING,R_0013_0001__THESE_R_0013_0003__YEARS,R_0013_0008__OBVIOUS,R_0013_0009__MORALS,R_0013_0011__THOSE,R_0013_0007__PROVIDE,R_0013_0014__JUDGES,R_0013_0017__THE_R_0013_0018__EVENT,R_0013_0015__LONG,R_0013_0013__ARE] :
      ( r_0013_0002__dreary(R_0013_0002__DREARY)
      & r_0013_0005__ineffective(R_0013_0005__INEFFECTIVE)
      & r_0013_0008__obvious(R_0013_0008__OBVIOUS)
      & r_0013_0011__those(R_0013_0011__THOSE)
      & r_0013_0014__judges(R_0013_0014__JUDGES)
      & r_0013_0017__the_r_0013_0018__event(R_0013_0017__THE_R_0013_0018__EVENT)
      & r_0013_0013__are(R_0013_0013__ARE)
      & has_nim(R_0013_0013__ARE,R_0013_0015__LONG)
      & r_0013_0015__long(R_0013_0015__LONG)
      & has_r_0013_0016__after(R_0013_0015__LONG,R_0013_0017__THE_R_0013_0018__EVENT)
      & has_prd(R_0013_0013__ARE,R_0013_0014__JUDGES)
      & has_arg0(R_0013_0013__ARE,R_0013_0011__THOSE)
      & r_0013_0007__provide(R_0013_0007__PROVIDE)
      & has_r_0013_0010__for__clr(R_0013_0007__PROVIDE,R_0013_0011__THOSE)
      & has_arg1(R_0013_0007__PROVIDE,R_0013_0009__MORALS)
      & r_0013_0009__morals(R_0013_0009__MORALS)
      & has_attrib(R_0013_0009__MORALS,R_0013_0008__OBVIOUS)
      & has_arg0(R_0013_0007__PROVIDE,R_0013_0001__THESE_R_0013_0003__YEARS)
      & r_0013_0001__These_r_0013_0003__years(R_0013_0001__THESE_R_0013_0003__YEARS)
      & has_r_0013_0004__of(R_0013_0001__THESE_R_0013_0003__YEARS,R_0013_0006__FIGHTING)
      & r_0013_0006__fighting(R_0013_0006__FIGHTING)
      & has_attrib(R_0013_0006__FIGHTING,R_0013_0005__INEFFECTIVE)
      & has_attrib(R_0013_0001__THESE_R_0013_0003__YEARS,R_0013_0002__DREARY) ) ).