semantics test