Queries for COREP Solvency