Construct the known definition list