What challenges does Rule-Based Semantic Inference address?

GQ-0035