a simple Web-based query interface using extended entailment regimes