Come is a type of Run. Come is a type of Become. Become is related to Transform. 
Theory is related to Ideal. Value is a type of Ideal. 
Run <--IsA-- Come --IsA--> Become <--RelatedTo--> Transform 
Theory <--RelatedTo--> Ideal <--IsA-- Value 