File is a type of Smooth. File is related to Document. Charter is a type of Document. 
you are likely to find Bird in/at/on Garden. 
Smooth <--IsA-- File <--RelatedTo--> Document <--IsA-- Charter 
Garden <--AtLocation-- Bird 