Output is related to Result. Separation is a type of Result. 
Cloud is related to Pillow. Pillow is related to Feather. Feather is a type of Row. 
Output <--RelatedTo--> Result <--IsA-- Separation 
Cloud <--RelatedTo--> Pillow <--RelatedTo--> Feather --IsA--> Row 