High-level script:

  All parameters of a pattern are in the same class

So this time, the script is actually a statement/assumption.

Motivational example:

  Consider the phrase "milk, coffee and cigarettes"

  with pattern "*, * and *". There, all the parameters

  (milk, coffee, cigarettes) are in the class "things you can buy".

Intent: This script helps to parse better, and also can help us learn about things and their classes.

So how do we proceed?

First, a script rewrite - expand it into a scenario:

  There is a pattern

  There are parameters of the pattern

  There is a class

  Assumption: Each of the parameters is in the class

Now we can execute this in different ways. We can look for existing examples (matched patterns) and check if the assumption is true for them.

Or we can generate fresh assumptions and check them further.

Or we can prioritize (vote up) pattern matches where the assumption is true.

Also, we can find out for which pattern this typically holds and for which ones it doesn't.

Same with the parameters of a pattern - maybe only parameters in certain positions are in the same class.