SyllogismRXS' UWSim Project