pub fn is_nominal_instance(individual: u64, nominal_individual: u64) -> bool
Nominal {a}: a nominal concept has exactly one instance — a itself. Is individual the instance of the nominal {nominal_individual}?
{a}
a
individual
{nominal_individual}