Step is a type of Support. Step is related to Walking. Walking is related to Toe. 
Availability is derived from Ability. 
Support <--IsA-- Step <--RelatedTo--> Walking <--RelatedTo--> Toe 
Ability <--DerivedFrom-- Availability 