Founded implication bug

Brought to you by: kovacm

#96 Founded implication bug

Status: open

Owner: Martin Ralbovsky

Labels: Boxes (backend modules) (57)

Priority: 5

Updated: 2009-01-05

Created: 2009-01-05

Private: No

In the attached project, when the Founded implication quantifier is connected, the task runs. When it is disconnected, the task throws an error.

Martin Ralbovsky - 2009-01-05

projekt x.xfp.xml

If you would like to refer to this comment somewhere else in this project, copy and paste the following link: