(AXE-SYNTAXP)
(AXE-BIND-FREE)
(AXE-REWRITE-OBJECTIVE)
(WORK-HARD
 (1 1 (:TYPE-PRESCRIPTION WORK-HARD))
 )
(AXE-BINDING-HYP
 (1 1 (:TYPE-PRESCRIPTION AXE-BINDING-HYP))
 )
(AXE-SMT
 (1 1 (:TYPE-PRESCRIPTION AXE-SMT))
 )
