logic-ml-gorsel