carneades/carneades — Issue #40: Formalize statements assistant's suggestions not working properly
Author: pallix
Created: 2011-10-12 10:20:05+00:00
State: open
Labels: Feature

When formalizing a statement with two variables the user should have the possibility of binding the first variable without binding the second variable. The assistant should then filter the possibilities for the second variable based on the user input and proposes them as suggestions.