Reliable Natural Language Understanding with Large Language Models and Answer Set Programming