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()); }