De aspekterna av de regler som används i den formella specifikationen som förkroppsligar en särskild representation av dessa uppgifter.