Thank you for this spot-on critique—it forced a fundamental shift in my architectural design. I’ve rewritten the paper to decouple neural semantic parsing from a true declarative Datalog engine (⁠pyDatalog⁠), where encoded statutory rules (UCTA & Singapore Common Law) perform the actual logical deduction instead of the LLM. Really appreciate you calling out the gap between filters and true reasoners—v2 is much stronger because of it!