Resource Kind

For a resource \(r\), its kind is computed as \(r.kind = h_{kind}(r.l, r.label)\).