6312
One of the major scientific goals of SmartKom is to design new computational methods for the seamless integration and mutual disambiguation of multimodal input and output on a semantic and pragmatic level .
 used for: SmartKom, computational methods; used for: computational methods, integration and mutual disambiguation of multimodal input and output; feature of: semantic and pragmatic level, integration and mutual disambiguation of multimodal input and output
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:  SmartKom, computational methods; computational methods, integration and mutual disambiguation of multimodal input and output; semantic and pragmatic level, integration and mutual disambiguation of multimodal input and output 
Answer:
 used for: SmartKom, computational methods; used for: computational methods, integration and mutual disambiguation of multimodal input and output; feature of: semantic and pragmatic level, integration and mutual disambiguation of multimodal input and output