wd_Reach_Pred_Acc {
\find ( WD ( acc ( h , l , o , p )))
\replacewith ( wd ( h )& wd ( l )& wd ( o )& wd ( p )& wellFormed ( h ))
\heuristics (simplify )
};defined in: wdReachRules.key Line: 13 Offset :4wd_Reach_Pred_Reach {
\find ( WD ( reach ( h , l , o , p , i )))
\replacewith ( wd ( h )& wd ( l )& wd ( o )& wd ( p )& wd ( i )& wellFormed ( h ))
\heuristics (simplify )
};defined in: wdReachRules.key Line: 24 Offset :4