I now included the autoVocabulary/autoFormalization etc. in the front end. I noticed in tests that if a term does not consist parentheses, full is the term and symbol is empty. E.g. the term "contract(Law,Part)" becomes voc.full = "contract(Law,Part)"; voc.symbol = "contract", but for the term "asd" it becomes voc.full = "asd"; voc.symbol = "". Since in the table I iterate over symbol this should be changed, I think.
Hi,
I now included the autoVocabulary/autoFormalization etc. in the front end. I noticed in tests that if a term does not consist parentheses,
fullis the term andsymbolis empty. E.g. the term "contract(Law,Part)" becomesvoc.full = "contract(Law,Part)"; voc.symbol = "contract", but for the term "asd" it becomesvoc.full = "asd"; voc.symbol = "". Since in the table I iterate oversymbolthis should be changed, I think.