5.3.1 面向查询的语义解析与实例匹配