[Acg Query Command] wrong user message.
Query command
Full query a+b+c+d:S;;
Output
The datalog program (intensional database) corresponding to the lexicon "Full" is:
d(-11,-9).
c(-9,-7).
b(-7,-5).
a(-5,-3).
Query:
S(-11,-3)?
Expected Output
It's not the intensional database in this case.