Semantic verification of web system contents