Webel Parsing Analysis: Formally, if «pa:implied» has been applied to indicate an implied elicited Element, the 'snippet' tagged value should bet set using at least one Snippet that implies it. (Note, the Snippet should have identical 'name' and 'body'.)
Click on the image to view it full size
You may however wish to not actually show the 'snippet' tagged value in diagrams as it can be quite verbose. What matters formally is that it is recorded in the underlying model.
You must ensure that the 'name' and the 'body' of the Snippet are identical!