Non-distributive positive logic as a fragment of first-order logic over semilattices - Jim de Groot (2022)