protected ISet <Clause> translateToSAT(Describe init, Describe transition, Describe goal, int t)
{
Sentence s = ComplexSentence.newConjunction(init.assertions(t), transition.assertions(t), goal.assertions(t));
return(ConvertToConjunctionOfClauses.convert(s).getClauses());
}