Basic Logic Dialect