Introduction is a type of Proposal. Introduction is a type of Textbook. Reader is a type of Textbook. 
Judgment is a type of Norm. 
Proposal <--IsA-- Introduction --IsA--> Textbook <--IsA-- Reader 
Judgment --IsA--> Norm 