Svijern logo. Krony name generator. Translating English sentences to logical expressions. Anahita Göttin.