Assertion: ellipse's radius | /r/HasProperty | type
Facets:
Source sentences:
text: ( defclass circle ( ellipse ) (( radius :type real :accessor radius :initarg :radius ))) ;;; ;;; A circle has a radius, but also a h-axis and v-axis that ;;; it inherits from an ellipse.