return gameSim.getTheory().getState();
}
}
public String getKIFGameDescription() {
PublicAxiomsWrapper a=new PublicAxiomsWrapper();
a.parseFromString(gameDescription);
List<Statement> statements=a.getStatements();
StringBuilder stringBuilder=new StringBuilder();
for(Statement statement:statements){
stringBuilder.append(statement.toString()).append(' ');
}
return stringBuilder.toString().toUpperCase();