has-subcomponent is the inverse of subcomponent-of. (has-subcomponent A B) iff B is a subcomponent-of A.