Using Many Sorted Inference Rules to Generate Semantic Analysis