public JsonResult getDomainConstraintFormalDescription(string invert, string Terms)
{
List<DomainItem> items = createDomainItems(Terms);
DomainConstraint Temp = new DomainConstraint(ConstraintProviderSource.Internal, "", AppConfiguration.Culture.Name, "", Convert.ToBoolean(invert), null, null, null, items);
return Json((Temp.FormalDescription), JsonRequestBehavior.AllowGet);
}