6169
Our logical definition leads to a neat relation to categorial grammar , -LRB- yielding a treatment of Montague semantics -RRB- , a parsing-as-deduction in a resource sensitive logic , and a learning algorithm from structured data -LRB- based on a typing-algorithm and type-unification -RRB- .
 logical definition, Montague semantics; parsing-as-deduction, resource sensitive logic; structured data, learning algorithm; typing-algorithm, learning algorithm; typing-algorithm, type-unification; type-unification, learning algorithm
Please list all entity pairs containing a certain relationship in the given options.Output format is "word1, word2; word3, word4". 
Option: conjunction, feature of, hyponym of, used for, part of, compare, evaluate for 
Text: {0} 
Answer:
 logical definition, Montague semantics; parsing-as-deduction, resource sensitive logic; structured data, learning algorithm; typing-algorithm, learning algorithm; typing-algorithm, type-unification; type-unification, learning algorithm