Rascal annotation contents