Prose value elements are always ambiguous.
This is a simple consequence of prose-val-ambiguous.
Theorem: element-prose-val-ambiguous
(defthm element-prose-val-ambiguous (implies (element-case element :prose-val) (not (element-unambiguousp element rules))))