language for defining assertions for structured data