Tax is related to Program. Bill is a type of Program. 
European is a type of Human. Terrorist is a type of Human. Terrorist is a type of Radical. 
Tax <--RelatedTo--> Program <--IsA-- Bill 
European --IsA--> Human <--IsA-- Terrorist --IsA--> Radical 