DEGREE(angle)

Definition A <DEGREE(angle)> is a <PropertyQuantification> between a <PLANE ANGLE> and a <NUMBER SPACE OF -INF TO +INF>