(=> (Max-Sample-Rate-Repetitive $X $Y) (Electronic-Device $X)) (=> (Max-Sample-Rate-Repetitive $X $Y) (Constant-Quantity $Y))