(NON-EXECUTABLEP+)
(RETURN-TYPE-OF-NON-EXECUTABLEP+
 (11 1 (:DEFINITION FGETPROP))
 (5 5 (:REWRITE DEFAULT-CDR))
 (5 5 (:REWRITE DEFAULT-CAR))
 (1 1 (:REWRITE ARITIES-OKP-IMPLIES-LOGICP))
 )
(BOOLEANP-OF-NON-EXECUTABLEP+-WHEN-LOGICP)
