public String toCycMicroTheory() throws SparqlQueryTransformException { String microTheory = null; if (queryType == Type.SELECT) { microTheory = select.toCycMicroTheory(); } if (microTheory != null) { return microTheory; } else { return "#$InferencePSC"; } }