Rule extraction is forbidden in this case because it would destroy the link between bordering and next to.
for each rule, r, there is a feature that returns the number of times r is used in a derivation.