Can you provide an example of the resulting output?  From what I can tell, none of these rules are affecting the output of SimpleView.   (which is another reason they need to live in their own file:  relex2logic should not slow down other parts of relex, if it is not being used.