Finding terms and rules