A semantically verified HTML template system