More work on relations and rules extensions