if (coreStart != 0) {
result.add(new TrivialLineMarkup(0, coreStart));
}
// the core
if (token.getCore().length() != 0) {
result.add(new OriginMarkup(
coreStart,
coreEnd,
origin.getTokenizer().getOriginalArtifact(),
origin.getStartIndex() + origin.getCoreOffset(),
origin.getStartIndex() + origin.getCoreOffset() + origin.getCore().length(),