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 → 0..1 Boolean
indicates that any instance, i, the domain of this slot will include an assert of i s range
SlotDefinition → 0..1 Boolean