( (IP-MAT (NP-SBJ (NUM One;{one}))
          (BEP;_Ln_ is;{be})
          (NP-PRD (D the;{the})
                  (N question;{question})
                  (PP (P-ROLE of;{of})
                      (NP (N conflict;{conflict})
                          (PP (P-ROLE with;{with})
                              (NP (D the;{the})
                                  (N badger;{badger}))))))
          (PUNC .))
  (ID 157_a_hedgehog;speaker=Stewart))

arc(r_0157_0002__is,r_0157_0001__One,arg0).
arc(r_0157_0002__is,r_0157_0003__the_r_0157_0004__question,prd).
arc(r_0157_0003__the_r_0157_0004__question,r_0157_0006__conflict,r_0157_0005__of).
arc(r_0157_0006__conflict,r_0157_0008__the_r_0157_0009__badger,r_0157_0007__with).

fof(formula,axiom,
    ? [R_0157_0001__ONE,R_0157_0008__THE_R_0157_0009__BADGER,R_0157_0006__CONFLICT,R_0157_0003__THE_R_0157_0004__QUESTION,R_0157_0002__IS] :
      ( r_0157_0001__One(R_0157_0001__ONE)
      & r_0157_0008__the_r_0157_0009__badger(R_0157_0008__THE_R_0157_0009__BADGER)
      & r_0157_0002__is(R_0157_0002__IS)
      & has_prd(R_0157_0002__IS,R_0157_0003__THE_R_0157_0004__QUESTION)
      & r_0157_0003__the_r_0157_0004__question(R_0157_0003__THE_R_0157_0004__QUESTION)
      & has_r_0157_0005__of(R_0157_0003__THE_R_0157_0004__QUESTION,R_0157_0006__CONFLICT)
      & r_0157_0006__conflict(R_0157_0006__CONFLICT)
      & has_r_0157_0007__with(R_0157_0006__CONFLICT,R_0157_0008__THE_R_0157_0009__BADGER)
      & has_arg0(R_0157_0002__IS,R_0157_0001__ONE) ) ).