nav semantics test