==============================================
 ASP Competition 2013 - Model & Solve Track
           Instance Input Format 
==============================================

*** Not to be confused with the ASP Language (ASP-Core-2) used in the System Track ***

In the M&S Track, each Solver script will read an input instance (from
standard input) in the following format:

== Facts and Sequences == 

As fact we mean a ground atom followed by the dot “.”, from a
predicate of the input vocabulary only. A sequence of facts is meant to be a list of facts
possibly separated by spaces and line breaks.

A fact is syntactically defined as

<fact> ::= <ground atom> "."

for <ground atom> defined as follows:

<ground atom> ::= SYMBOLIC_CONSTANT [ "(" < ground terms> ")" ] |
                  SYMBOLIC_CONSTANT "()"
<ground terms> ::= [<ground terms> "," ] < ground term>
<ground term> ::= SYMBOLIC_CONSTANT | STRING | NUMBER

Input Specification. A solver script will read each input instance from
the standard input. For search and optimization problems, each input instance 
is expected to be:
- made of sequences of facts, and
- entirely saved in a text file (only one instance per file is allowed).

For query problems, an input instance is followed by a ground query atom (i.e. an atom
followed by a question mark “?”).