Semantic rules and inference make a comeback, watch out query!

Citation