--line, and those below, will be ignored--

M    wiki/question_answering.png

do not add questions to derivation chain, they do not propagate truth value and it will lead to isses if a question is used as the task. todo: also analyze why second question does not work on issue30.

fix example numbers from NAL1-6, todo: look why contraposition has stopped working, add new recursion example in Peis format, fix numbers in multistep, add new NAL6 examples shown in fixed issues

solving the correct but useless statement problem initially r313 wanted to solve by not letting equivalent premises in respect to image and product transformations on first subterm level to be selected

comment out structure mapping rule, because of truth value inconsistency between question answering and forward chaining, and because it contradicts minimalist philosophy.

Finally resolving issue 28, a possible implementation of a structure mapping rule, tricking many principles..