arc(r_0024_0001__A_r_0024_0003__tax, r_0024_0002__mediaeval, attrib5).
arc(r_0024_0004__was, r_0024_0001__A_r_0024_0003__tax, arg0).
arc(r_0024_0004__was, r_0024_0005__therefore, nim12).
arc(r_0024_0004__was, r_0024_0007__essence, r_0024_0006__in_nim18).
arc(r_0024_0004__was, r_0024_0008__a_r_0024_0010__payment, prd).
arc(r_0024_0008__a_r_0024_0010__payment, r_0024_0009__forced, attrib24).
arc(r_0024_0012__return, r_0024_0008__a_r_0024_0010__payment, gen).
arc(r_0024_0013__was, r_0024_0012__return, arg0).
arc(r_0024_0013__was, r_0024_0019__and, prd).
arc(r_0024_0014__the_r_0024_0016__bounty, r_0024_0015__uncertain, attrib43).
arc(r_0024_0014__the_r_0024_0016__bounty, r_0024_0018__booty, r_0024_0017__of).
arc(r_0024_0019__and, r_0024_0014__the_r_0024_0016__bounty, conj1).
arc(r_0024_0019__and, r_0024_0020__the_r_0024_0022__advantages, conj2).
arc(r_0024_0020__the_r_0024_0022__advantages, r_0024_0021__vague, attrib60).
arc(r_0024_0020__the_r_0024_0022__advantages, r_0024_0025__glory, r_0024_0023__of).
arc(r_0024_0025__glory, r_0024_0024__military, attrib69).

fof(formula,axiom,
    ? [R_0024_0002__MEDIAEVAL,R_0024_0001__A_R_0024_0003__TAX,R_0024_0005__THEREFORE,R_0024_0007__ESSENCE,R_0024_0009__FORCED,R_0024_0008__A_R_0024_0010__PAYMENT,R_0024_0004__WAS,R_0024_0012__RETURN,R_0024_0015__UNCERTAIN,R_0024_0018__BOOTY,R_0024_0014__THE_R_0024_0016__BOUNTY,R_0024_0021__VAGUE,R_0024_0024__MILITARY,R_0024_0025__GLORY,R_0024_0020__THE_R_0024_0022__ADVANTAGES,R_0024_0019__AND,R_0024_0013__WAS] :
      ( r_0024_0002__mediaeval(R_0024_0002__MEDIAEVAL)
      & r_0024_0005__therefore(R_0024_0005__THEREFORE)
      & r_0024_0007__essence(R_0024_0007__ESSENCE)
      & r_0024_0009__forced(R_0024_0009__FORCED)
      & r_0024_0015__uncertain(R_0024_0015__UNCERTAIN)
      & r_0024_0018__booty(R_0024_0018__BOOTY)
      & r_0024_0021__vague(R_0024_0021__VAGUE)
      & r_0024_0024__military(R_0024_0024__MILITARY)
      & r_0024_0013__was(R_0024_0013__WAS)
      & has_prd(R_0024_0013__WAS,R_0024_0019__AND)
      & r_0024_0019__and(R_0024_0019__AND)
      & has_conj2(R_0024_0019__AND,R_0024_0020__THE_R_0024_0022__ADVANTAGES)
      & r_0024_0020__the_r_0024_0022__advantages(R_0024_0020__THE_R_0024_0022__ADVANTAGES)
      & has_r_0024_0023__of(R_0024_0020__THE_R_0024_0022__ADVANTAGES,R_0024_0025__GLORY)
      & r_0024_0025__glory(R_0024_0025__GLORY)
      & has_attrib69(R_0024_0025__GLORY,R_0024_0024__MILITARY)
      & has_attrib60(R_0024_0020__THE_R_0024_0022__ADVANTAGES,R_0024_0021__VAGUE)
      & has_conj1(R_0024_0019__AND,R_0024_0014__THE_R_0024_0016__BOUNTY)
      & r_0024_0014__the_r_0024_0016__bounty(R_0024_0014__THE_R_0024_0016__BOUNTY)
      & has_r_0024_0017__of(R_0024_0014__THE_R_0024_0016__BOUNTY,R_0024_0018__BOOTY)
      & has_attrib43(R_0024_0014__THE_R_0024_0016__BOUNTY,R_0024_0015__UNCERTAIN)
      & has_arg0(R_0024_0013__WAS,R_0024_0012__RETURN)
      & r_0024_0012__return(R_0024_0012__RETURN)
      & has_gen(R_0024_0012__RETURN,R_0024_0008__A_R_0024_0010__PAYMENT)
      & r_0024_0008__a_r_0024_0010__payment(R_0024_0008__A_R_0024_0010__PAYMENT)
      & has_attrib24(R_0024_0008__A_R_0024_0010__PAYMENT,R_0024_0009__FORCED)
      & r_0024_0004__was(R_0024_0004__WAS)
      & has_prd(R_0024_0004__WAS,R_0024_0008__A_R_0024_0010__PAYMENT)
      & has_r_0024_0006__in_nim18(R_0024_0004__WAS,R_0024_0007__ESSENCE)
      & has_nim12(R_0024_0004__WAS,R_0024_0005__THEREFORE)
      & has_arg0(R_0024_0004__WAS,R_0024_0001__A_R_0024_0003__TAX)
      & r_0024_0001__A_r_0024_0003__tax(R_0024_0001__A_R_0024_0003__TAX)
      & has_attrib5(R_0024_0001__A_R_0024_0003__TAX,R_0024_0002__MEDIAEVAL) ) ).

( (IP-MAT (NP-SBJ;{TAX} (D A;{a})
                        (ADJP (ADJ mediaeval;{mediaeval}))
                        (N tax;{tax}))
          (BED;_Ln_ was;{be})
          (ADVP-NIM (ADV therefore;{therefore}))
          (PP-NIM (P-ROLE in;{in})
                  (NP (N essence;{essence})))
          (NP-PRD (D a;{a})
                  (ADJP (ADJ forced;{forced}))
                  (N payment;{payment})
                  (IP-REL (NP-SBJ (NP-GEN (RPRO;_genm_ whose;{whose}))
                                  (N return;{return}))
                          (BED;_Ln_ was;{be})
                          (NP-PRD (NLYR (NLYR (D the;{the})
                                              (ADJP (ADJ uncertain;{uncertain}))
                                              (N bounty;{bounty})
                                              (PP (P-ROLE of;{of})
                                                  (NP (N booty;{booty}))))
                                        (CONJP (CONJ and;{and})
                                               (NLYR (D the;{the})
                                                     (ADJP (ADJ vague;{vague}))
                                                     (NS advantages;{advantage})
                                                     (PP (P-ROLE of;{of})
                                                         (NP (ADJP (ADJ military;{military}))
                                                             (N glory;{glory})))))))))
          (PUNC ;))
  (ID 24_a_lob_g01))