Formal specification contains sample data and sample queries