Accessing Structured Health Information through English Queries and Automatic Deduction