IT Leong, R Barbosa - Available at SSRN 4423847 - papers.ssrn.com
Higher-order logic can be used for meaning representation in natural language processing
(NLP) to encode the semantic relationships in text. Alternatively, using a formal specification …