 The question of the descriptive adequacy of NMLs to human reasoning is also related to questions concerning the nature and limits of cognitive modules in view of which agents are capable of logical reasoning. For instance, the question arises, whether such modules could be realized on a neurological level. Concerning the former question there are successful representations of NMLs in terms of neural networks (see  Stenning and Van Lambalgen (2008),  Garcez et al (2009),  Hölldobler and Kalinke (1994)  for  logic programming  with closed world assumptions,  Besold et al (2017)  for input/output logic, and  Leitgeb (2001)  for NMLs in the tradition of  Selection semantics).  