Original: When so used, rocks are called dimension stone.
Simplified: When stone is used to build buildings, it is called dimension stone.