Would is a type of Single. Single is related to Bolt. Bolt is related to Lighting. 
Fly is related to Hang. Hang is related to Supposed. 
Would --IsA--> Single <--RelatedTo--> Bolt <--RelatedTo--> Lighting 
Fly <--RelatedTo--> Hang <--RelatedTo--> Supposed 