Getting Started with Bassi Logic