{module Query-PR-CASE