$S -> $A$B
$A -> $C/a
$A -> /~
$B -> /c$Bpr
$Bpr -> /a$A$C$Bpr
$Bpr -> /~
$C -> /b
$C -> /~