Revert "Listing 1"

This reverts commit a72783f4e2599515aa83416a56106a6c6216a590.
Revert "Revert "Listing 1""

This reverts commit 122dfa89b01fc7d076fe7cbbc5fb55a5fc751508.
Merge branch 'master' of https://github.com/jezekp/Frontiers-2014-Semantic-Framework-Paper