private bool AddSentenceToModel(Fact sentence, IDictionary<TermVariable, TermModel> varsToModelsMap)
{
var sentenceName = new NameAndArity(sentence);
bool changesMade = SentencesModel.CreateIfRequired(sentenceName);
return changesMade | TermModel.AddBodyToModel(SentencesModel[sentenceName], sentence.GetTerms(), varsToModelsMap);
}
private CartesianSentenceFormDomain GetDomain(ISentenceForm form, Fact sentence)
{
var domainContents = new List<ISet<TermObject>>();
GetDomainInternal(sentence.GetTerms(), _sentencesModel.GetBodyModel(sentence), domainContents);
return new CartesianSentenceFormDomain(form, domainContents);
}