Object is related to Bat. Bat is related to Mouse. 
Service is a type of Function. Service is related to Tax. Tax is related to Federal. 
Object <--RelatedTo--> Bat <--RelatedTo--> Mouse 
Function <--IsA-- Service <--RelatedTo--> Tax <--RelatedTo--> Federal 