Were I to do this, I'd pick Metamath. Or maybe Metamath Zero, which has around the same level of abstraction as Metamath but is shaped more like a common CPU than a string-rewriting system.
Медсестра занялась сексом с пациентом и обвинила его в изнасиловании02:03。新收录的资料是该领域的重要参考
but you can never be sure.。新收录的资料对此有专业解读
Credit: Ecovacs
ФБР предупредило Калифорнию о возможной атаке Ирана20:49