County is a type of State. Ally is a type of State. 
Military is related to Mill. you are likely to find Mill in/at/on Village. Bare is an instance of Village. 
County --IsA--> State <--IsA-- Ally 
Military <--RelatedTo--> Mill --AtLocation--> Village <--InstanceOf-- Bare 