for (int i = 0; i < el.size(); i++) {
Expression e = el.get(i);
exps[i] = new Predicate("true", new Expression[] {e});
}
// add to theory and extract the GameState
Theory t = new Theory(true, false);
t.setState(new ExpList(exps));
GameState gs = t.getState();
return gs;
}