[Acg Query Command] wrong user message.
Full query a+b+c+d:S;;
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)?
It's not the intensional database in this case.
To upload designs, you'll need to enable LFS and have admin enable hashed storage. More information