Verification of a Capability: There are two conditions a robot R must fulfill in order to exhibit capability C: First, all component dependencies of C have to be fulfilled. A single component dependency is fulfilled if R possesses an instance of the component specified by the component dependency.