semantic inspection