{“name”:“Dialog”,“lastmodified”:“2013-05-20 16:29:25 UTC”,“hasDependencyLabels”:false,“userLanguage”:“DialogEng”,“startcat”:“句子”,“类别”:[“数量”,“类”,“命令”,“等式”,“事实”,“反馈”,“浮点”,“Int”,《ListAmount》,“ListEquation”,“ListVariable”,“数字”,“对象”,“属性”,“限定符”,“问题”,“标量”,“语句”,“字符串”,“变量“],“函数”:[“AEquationIncompatible”,“AlreadyDefined”,“Animal”,“Apple”,“Assert”,“AssertEq”,“Bag”,“Ball”,“香蕉”,“BaseAmount”,”BaseEquation“,”BaseVariable“,”Box“,”Card“,”ConsAmount“,“ConsEquation”,“ConsVariable”,”Cow“Define”,“Die”,“Duck”,“E1owns”,“E2isin”,“EquationInconsistent”,“EquationNotEntailed”,“Example”,“Fruit”,“帮助”、“罐子”、“腿”,“MEquationIncompatible”,“Marble”,《MustDefine》,“MustPartite”,“Must WriteEq”,“None”,“Ok”,“Orange”,“P1owns”,“P2isin”,“PartitionEmpty”,“分区NotCovers”,“划分NotSubclass”,“分割SuperClass”,”“分区无关”,“Pencil”,“Q1owns”q“,”aeqNum“,”aplus“,”atimes“,“avar”、“b”、“blue”、“but”、“c”、“combine”、“d”、“indicate”、“e”、”every“、”forall“、”fromInt“、”fromProp“、“fromQuestion”、“gen”、”green“、”over“、”isEq“、”is Le“、)“isa”、“isin”、“istop”、“j”、“john”、“n3”,“n300”,“n 4”,“N 5”,“n6”,“7”,“8”,“0 9”,“nminus”,“nplus”,“ntimes”,“omd”,“red”,”some“,”subscrible“,”toScalar“,“var2num”],“languages”:[{“name”:“DialogCat”,“langageCode”:“”},{“name:”DialogEng“,”languageCode“:”}