The statements for query, Prolog text, labelled in, out and und (see answerQuery/4)
if the evaluation halts (a theory its profile refuses, a query that cannot be parsed)