Formal models for the question database elements.