5420
I show that the performance of a search engine can be improved dramatically by incorporating an approximation of the formal analysis that is compatible with the search engine 's operational semantics .
 part of: approximation of the formal analysis, search engine; part of: operational semantics, search engine
Given options, please tell me the relationships of all the listed entity pairs.Output format is "relation1: word1, word2; relation2: word3, word4". 
Option: conjunction, feature of, hyponym of, used for, part of, compare, evaluate for 
Text: {0} 
 Entity Pairs:  approximation of the formal analysis, search engine; operational semantics, search engine 
Answer:
 part of: approximation of the formal analysis, search engine; part of: operational semantics, search engine