EXPLICIT_OR_IMPLICIT appears to already work for @prose.  Next: try @pattern.
Eliminated a stupid bug.  Now EXPLICIT_OR_IMPLICIT appears to work for both @pattern and @prose.