8834
By using a careful distinction between the different notions of reference time based on -LRB- Kamp and Reyle , 1993 -RRB- , we propose a solution to this problem , within the framework of DRT .
 used for: solution, problem; used for: DRT, problem
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:  solution, problem; DRT, problem 
Answer:
 used for: solution, problem; used for: DRT, problem