#19 Semantics of KeywordPredicate

[Lukas Blunschi]

The KeywordPredicate now states in its class javadoc what its semantics are. We have to look into all the other places where the KeywordPredicate is used to make sure the same semantic is used.