com.github.tangrammer/semantic-assertion