(:head r) and (:body r) substituted by (scheme r) and (body r)