arc(r_0089_0002__A_r_0089_0003__bully, r_0089_0005__that, r_0089_0004__like).
arc(r_0089_0006__respects, r_0089_0002__A_r_0089_0003__bully, arg0).
arc(r_0089_0006__respects, r_0089_0007__anyone, arg1).
arc(r_0089_0009__dares, r_0089_0010__to_r_0089_0011__stand_r_0089_0012__up, scope).
arc(r_0089_0010__to_r_0089_0011__stand_r_0089_0012__up, r_0089_0002__A_r_0089_0003__bully, r_0089_0013__to_clr36).
arc(r_0089_0010__to_r_0089_0011__stand_r_0089_0012__up, r_0089_0007__anyone, arg0).

fof(formula,axiom,
    ? [R_89_6_RESPECTS,R_89_9_DARES_TO_STAND_UP,R_89_7_ANYONE,R_89_2_A_BULLY,R_89_5_THAT] :
      ( anyone(R_89_7_ANYONE)
      & that(R_89_5_THAT)
      & respects(R_89_6_RESPECTS,R_89_2_A_BULLY,R_89_7_ANYONE)
      & a_bully(R_89_2_A_BULLY)
      & like(R_89_2_A_BULLY,R_89_5_THAT)
      & dares_to_stand_up(R_89_9_DARES_TO_STAND_UP,R_89_7_ANYONE)
      & to_clr36(R_89_9_DARES_TO_STAND_UP,R_89_2_A_BULLY) ) ).

( (IP-MAT (PULQ <lquo>)
          (NP-SBJ;{BULLY} (D A;{a})
                          (N bully;{bully})
                          (PP (P-ROLE like;{like})
                              (NP (D;_nphd_ that;{that}))))
          (VBP;_Tn_ respects;{respect})
          (NP-OB1 (D;_nphd_ anyone;{anyone})
                  (IP-REL (NP-SBJ (RPRO who;{who}))
                          (VBP;_cat_Vt_ dares;{dare})
                          (IP-INF-CAT (TO to;{to})
                                      (VB;_phr_Vp.pr_ stand;{stand[up,to]})
                                      (RP up;{up})
                                      (PP-CLR (P-ROLE to;{to})
                                              (NP;{BULLY} (PRO him;{he}))))))
          (PUNC .)
          (PURQ <rquo>))
  (ID 89_a_lob_n02))