A construction that should analyze a text and either extract information or reject it.
"We just want a non-negative integer (aka a``natural number""), a construction for which the library offers a predefined text parser called Rule.natural."