ASP-Core-2 Input Language Format