semantics tests