https://127.0.0.1:9000/vocabulary/sequent/