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