*<
divisibleLeftForgetSyntax
/
Path
>*
divisibleRightForgetSyntax
>*<
divisibleSyntax
>|<
decidableSyntax