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.

arc(r_0013_0001__These_r_0013_0003__years, r_0013_0002__dreary, attrib5).
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, attrib14).
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_clr30).
arc(r_0013_0009__morals, r_0013_0008__obvious, attrib22).
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, nim42).
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_nim42(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_clr30(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_attrib22(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_attrib14(R_0013_0006__FIGHTING,R_0013_0005__INEFFECTIVE)
      & has_attrib5(R_0013_0001__THESE_R_0013_0003__YEARS,R_0013_0002__DREARY) ) ).

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