parser parser_obj;
Reader reader = new StringReader(mdx);
parser_obj = new parser(new Lexer(reader));
Symbol parse_tree = null;
ParsedQuery pQuery = null;
parse_tree = parser_obj.parse();
pQuery = (ParsedQuery) parse_tree.value;
pQuery.afterParse();
Formula [] formula=pQuery.getFormulas();
Exp slicer=pQuery.getSlicer();
with=new String[formula.length];
for(int i=0;i<formula.length;i++)
{
with[i]=(formula[i].toMdx()).trim();
}