Urist is a logic scenarios tree processor.