Slot: is_class_field
indicates that any instance, i, the domain of this slot will include an assert of i s range
Domain and Range
SlotDefinition -> OPT Boolean
indicates that any instance, i, the domain of this slot will include an assert of i s range
SlotDefinition -> OPT Boolean