Bad idea of the day: a program that computes the degree to which the response to a query meets gricean maxims and, if beyond a threshhold, produces potential implicatures, on a synthetic logic-based language and an ontology