Removed as they lead to inconsistency. Local reflexivity (i.e. that reflexivity holds for each of the rollification object properties for all of the individuals in their domain) already holds due to the equivalence of classes already in place for each relation class involving the relevant rollification.
Removed as they lead to inconsistency. Local reflexivity (i.e. that reflexivity holds for each of the rollification object properties for all of the individuals in their domain) already holds due to the equivalence of classes already in place for each relation class involving the relevant rollification.