+ Added support for textual representation of situations (according to
Devlin notation)