The question block is found in the Primary drawer of the Blawx toolbox.
The question block is used to send a question to the Blawx reasoner, and get one or more answers based on the code provided.
In most programming languages, all of the code that you write tells the computer what to "do". In Blawx, that's not true. Most of the code tells the computer what it "knows," and only question blocks ask the computer to do anything.
So if you have code, but no question block, when you click "Run", nothing much will happen!
The question block is an outer block, and accepts a single stack of statements, which is valid if it is a stack of exactly one statement.
Running your code in the Test Editor with a question block in the code will make Blawx attempt to find any values that can be placed into any variables in your question, so as to make the statement in the question true.
If there are no values which can be used to make the statement true, the server will return the text "No Models" in the Test Editor Output Pane.
If the statement is true for any number of values, each combination of values will be returned as an answer. Each reason those values make the statement true will be returned as an explanation for that answer. One answer may have more than one explanation.
Note that a question with no variables can only have either one answer which indicates the statement is true, or "no models" which indicates that it is not.
If you have more than one question block in your Test Editor when you run your test, Blawx will use only one of them, and it can be difficult to predict which. If you want to have multiple questions, but use only one at a time, it is best to mark the question blocks you are not using as "disabled" in the context menu for that question block.
If your question block returns the answer "no models found", but you think that it should be finding answers, here are a few good troubleshooting tricks: