Difference between testing for navigation syntax and for navigation semantics?