Ah, sorry, typo; I meant b:~c
In arc:
arc> (ssexpand 'a:b:~c) (compose a b (complement c))
jsarc> (ssexpand 'a:b:~c) (compose a b (complement c))