#->
ch
#>
VarE
->:
WithImplication