SMART_GS_NG/src/reasoning_web/logical
