Show HN: Axis – A semantics-first logic language co-designed with AI | Not Hacker News!