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- .
 used for: logical definition, Montague semantics; used for: parsing-as-deduction, resource sensitive logic; used for: structured data, learning algorithm; used for: typing-algorithm, learning algorithm; conjunction: typing-algorithm, type-unification; used for: type-unification, learning algorithm
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:  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 
Answer:
 used for: logical definition, Montague semantics; used for: parsing-as-deduction, resource sensitive logic; used for: structured data, learning algorithm; used for: typing-algorithm, learning algorithm; conjunction: typing-algorithm, type-unification; used for: type-unification, learning algorithm