Syntax for potasscos ASP system added; Gringo