2203
A parser MDCC is presented which implements an augmented Friedman - Warren algorithm permitting post referencing * and interfaces with a language of intenslonal logic translator LILT so as to display the derivational history of corresponding reduced IL formulae .
 used for: augmented Friedman - Warren algorithm, parser MDCC; feature of: post referencing, augmented Friedman - Warren algorithm; used for: derivational history, intenslonal logic translator LILT; feature of: reduced IL formulae, derivational history
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:  augmented Friedman - Warren algorithm, parser MDCC; post referencing, augmented Friedman - Warren algorithm; derivational history, intenslonal logic translator LILT; reduced IL formulae, derivational history 
Answer:
 used for: augmented Friedman - Warren algorithm, parser MDCC; feature of: post referencing, augmented Friedman - Warren algorithm; used for: derivational history, intenslonal logic translator LILT; feature of: reduced IL formulae, derivational history