Some new semantic annotations.