6558
Semi-Riemannian metrics are uniquely determined by the smoothing of discrete functions and the nullity of the semi-Riemannian space .
 used for: smoothing of discrete functions, Semi-Riemannian metrics; conjunction: smoothing of discrete functions, nullity of the semi-Riemannian space; used for: nullity of the semi-Riemannian space, Semi-Riemannian metrics
Given a phrase that describes the relationship between two words, extract the words and the lexical relationship between them. The output format should be "relation1: word1, word2; relation2: word3, word4". 
Option: conjunction, feature of, hyponym of, used for, part of, compare, evaluate for 
Text: {0} 
Answer:
 used for: smoothing of discrete functions, Semi-Riemannian metrics; conjunction: smoothing of discrete functions, nullity of the semi-Riemannian space; used for: nullity of the semi-Riemannian space, Semi-Riemannian metrics