Public signup for this instance is disabled. Go to our Self serve sign up page to request an account. Report potential security issues privately
Allow an additional argument in INLIST condition for the check. Example:
WORDLIST LemmaList = 'lemmas.txt'; Token{INLIST(LemmaList, Token.lemma) -> MARK(Action)};