User blog comment:P進大好きbot/Evaluation of Analysis/@comment-11227630-20181120084906/@comment-33713741-20181120120842

What are these attemots to formalize BEAF? Any links?