The "maybe-rule" right now as far as I can tell is only implemented on the RelEx2Logic side.  The helper function doesn't exist yet.

Kind of weird, I got a feeling I saw it exists before... maybe only in the wiki...