Simplify reasoning
Merge branch 'master' into issue-354-inferencing
Merge pull request #441 from lobid/issue-354-inferencing

Issue #354 inferencing: simplify reasoning