ednf_format.Symbol("truefalse")