type(sk_0, cat).
type(sk_1, british_short_hair).
holds_result(test, true).