arc(r_0085_0004__are, r_0085_0001__Two_r_0085_0002__men, arg0).
arc(r_0085_0004__are, r_0085_0005__poles, prd).
arc(r_0085_0005__poles, r_0085_0008__personality, r_0085_0006__apart_r_0085_0007__in).
arc(r_0085_0010__night, r_0085_0009__last, attrib27).
arc(r_0085_0011__dominated, r_0085_0001__Two_r_0085_0002__men, arg0).
arc(r_0085_0011__dominated, r_0085_0010__night, nim26).
arc(r_0085_0011__dominated, r_0085_0015__battle, arg1).
arc(r_0085_0015__battle, r_0085_0012__parliament_r_0085_0013___apos_s, gen).
arc(r_0085_0015__battle, r_0085_0014__fiercest, attrib40).
arc(r_0085_0015__battle, r_0085_0017__the_r_0085_0018__1959_r_0085_0019__election, r_0085_0016__since).
arc(r_0085_0024__and, r_0085_0021__Mr_r_0085_0022__George_r_0085_0023__Brown, conj1).
arc(r_0085_0024__and, r_0085_0025__Mr_r_0085_0026__Enoch_r_0085_0027__Powell, conj2).
arc(z_000_85_a_lob_a01_57, r_0085_0001__Two_r_0085_0002__men, arg0).
arc(z_000_85_a_lob_a01_57, r_0085_0024__and, prd).
arc(z_000_85_a_lob_a01_79, r_0085_0025__Mr_r_0085_0026__Enoch_r_0085_0027__Powell, arg0).
arc(z_000_85_a_lob_a01_79, r_0085_0029__the_r_0085_0030__health_r_0085_0031__Minister, prd).

fof(formula,axiom,
    ? [R_0085_0001__TWO_R_0085_0002__MEN,R_0085_0008__PERSONALITY,R_0085_0005__POLES,R_0085_0004__ARE,R_0085_0009__LAST,R_0085_0010__NIGHT,R_0085_0012__PARLIAMENT_R_0085_0013___APOS_S,R_0085_0014__FIERCEST,R_0085_0017__THE_R_0085_0018__1959_R_0085_0019__ELECTION,R_0085_0015__BATTLE,R_0085_0011__DOMINATED,R_0085_0021__MR_R_0085_0022__GEORGE_R_0085_0023__BROWN,R_0085_0025__MR_R_0085_0026__ENOCH_R_0085_0027__POWELL,R_0085_0024__AND,Z_000_85_A_LOB_A01_57,R_0085_0029__THE_R_0085_0030__HEALTH_R_0085_0031__MINISTER,Z_000_85_A_LOB_A01_79] :
      ( r_0085_0001__Two_r_0085_0002__men(R_0085_0001__TWO_R_0085_0002__MEN)
      & r_0085_0008__personality(R_0085_0008__PERSONALITY)
      & r_0085_0009__last(R_0085_0009__LAST)
      & r_0085_0012__parliament_r_0085_0013___apos_s(R_0085_0012__PARLIAMENT_R_0085_0013___APOS_S)
      & r_0085_0014__fiercest(R_0085_0014__FIERCEST)
      & r_0085_0017__the_r_0085_0018__1959_r_0085_0019__election(R_0085_0017__THE_R_0085_0018__1959_R_0085_0019__ELECTION)
      & r_0085_0021__Mr_r_0085_0022__George_r_0085_0023__Brown(R_0085_0021__MR_R_0085_0022__GEORGE_R_0085_0023__BROWN)
      & r_0085_0025__Mr_r_0085_0026__Enoch_r_0085_0027__Powell(R_0085_0025__MR_R_0085_0026__ENOCH_R_0085_0027__POWELL)
      & r_0085_0029__the_r_0085_0030__health_r_0085_0031__Minister(R_0085_0029__THE_R_0085_0030__HEALTH_R_0085_0031__MINISTER)
      & z_000_85_a_lob_a01_79(Z_000_85_A_LOB_A01_79)
      & has_prd(Z_000_85_A_LOB_A01_79,R_0085_0029__THE_R_0085_0030__HEALTH_R_0085_0031__MINISTER)
      & has_arg0(Z_000_85_A_LOB_A01_79,R_0085_0025__MR_R_0085_0026__ENOCH_R_0085_0027__POWELL)
      & z_000_85_a_lob_a01_57(Z_000_85_A_LOB_A01_57)
      & has_prd(Z_000_85_A_LOB_A01_57,R_0085_0024__AND)
      & r_0085_0024__and(R_0085_0024__AND)
      & has_conj2(R_0085_0024__AND,R_0085_0025__MR_R_0085_0026__ENOCH_R_0085_0027__POWELL)
      & has_conj1(R_0085_0024__AND,R_0085_0021__MR_R_0085_0022__GEORGE_R_0085_0023__BROWN)
      & has_arg0(Z_000_85_A_LOB_A01_57,R_0085_0001__TWO_R_0085_0002__MEN)
      & r_0085_0011__dominated(R_0085_0011__DOMINATED)
      & has_arg1(R_0085_0011__DOMINATED,R_0085_0015__BATTLE)
      & r_0085_0015__battle(R_0085_0015__BATTLE)
      & has_r_0085_0016__since(R_0085_0015__BATTLE,R_0085_0017__THE_R_0085_0018__1959_R_0085_0019__ELECTION)
      & has_attrib40(R_0085_0015__BATTLE,R_0085_0014__FIERCEST)
      & has_gen(R_0085_0015__BATTLE,R_0085_0012__PARLIAMENT_R_0085_0013___APOS_S)
      & has_nim26(R_0085_0011__DOMINATED,R_0085_0010__NIGHT)
      & r_0085_0010__night(R_0085_0010__NIGHT)
      & has_attrib27(R_0085_0010__NIGHT,R_0085_0009__LAST)
      & has_arg0(R_0085_0011__DOMINATED,R_0085_0001__TWO_R_0085_0002__MEN)
      & r_0085_0004__are(R_0085_0004__ARE)
      & has_prd(R_0085_0004__ARE,R_0085_0005__POLES)
      & r_0085_0005__poles(R_0085_0005__POLES)
      & has_r_0085_0006__apart_r_0085_0007__in(R_0085_0005__POLES,R_0085_0008__PERSONALITY)
      & has_arg0(R_0085_0004__ARE,R_0085_0001__TWO_R_0085_0002__MEN) ) ).

( (IP-MAT (NP-SBJ (NUM Two;{two})
                  (NS men;{man})
                  (IP-REL (NP-SBJ (RPRO who;{who}))
                          (BEP;_Ln_ are;{be})
                          (NP-PRD (N poles;{pole})
                                  (PP (RP apart;{apart})
                                      (P-ROLE in;{in})
                                      (NP (N personality;{personality})))))
                  (IP-PPL *ICH*-119))
          (NP-NIM (ADJP (ADJ last;{last}))
                  (N night;{night}))
          (VBD;_Tn_ dominated;{dominate})
          (NP-OB1 (NP-GEN (N parliament;{parliament})
                          (GENM <apos>s))
                  (ADJP (ADJS fiercest;{fierce}))
                  (N battle;{battle})
                  (PP (P-ROLE since;{since})
                      (NP (D the;{the})
                          (NPR 1959)
                          (N election;{election}))))
          (PUNC <mdash>)
          (IP-PPL-EPD-119 (NP-PRD (NLYR (NLYR (N Mr;{mr})
                                              (NPR George;{George})
                                              (NPR Brown;{Brown}))
                                        (CONJP (CONJ and;{and})
                                               (NLYR (N Mr;{mr})
                                                     (NPR Enoch;{Enoch})
                                                     (NPR Powell;{Powell})
                                                     (PUNC ,)
                                                     (IP-PPL (NP-PRD (D the;{the})
                                                                     (N health;{health})
                                                                     (N Minister;{minister}))))))))
          (PUNC .))
  (ID 85_a_lob_a01))