Establishes a precise anteriority relationship between two items a and b, both using a series C containing an order relationship. The series C allows to indicate a constant distance d, which appears between a and b.
To use it, you therefore need at least one ordered series. The series does not need to be regular.
To facilitate resolution, Booleans are recommended.
Ordered series: A series containing values that are all increasing or all decreasing.
Regular ordered series: An increasing or decreasing series whose values are separated by the same interval.
Land Yacht Riddle
The 14-year-old trains 20 minutes less than Hugo.
The teenager driving the blue yacht is two years older than the person who trains for 30 minutes.
There are two biplets in this example.
The red or blue lines represent the relationships between the boxes across the grids, represented by Booleans. Here we see that the Boolean a2 is shared by both propositions. Indeed, we did not use the isolated mode when generating the statements.
Red lines: the jump distance between two items is two boxes, which represents an interval of 20 minutes in the Duration series.
Blue lines: the jump distance between two items is also two boxes, which represents an interval of 2 years in the Age series.
False signs
Those present in the Boolean rows indicate that these positions are not available. Indeed, Hugo cannot train for 20 or 30 minutes, and the driver of the blue yacht cannot be 13 or 14 years old.
As for the other false boxes, they also follow from the statement: Hugo cannot be 14 years old, and the driver of the blue yacht cannot train for 30 minutes.
Designer
Randomly chooses a biplet: two rows using the same series. Establishes a distance d between each corresponding item, between the two rows.
The jump is the constant distance that must be specified in number of boxes that separate two items in each row. The jump will be converted to series-specific units (years, minutes, etc.) when generating formal proposals.
A value of 0 allows the designer to choose the jump randomly. The jump value is between 1 and n -2, where n is the row size (usually 5 boxes).
Isolated: If the instruction operates in isolated mode, the designer does not select rows that already contain signs, including Booleans. The case of the Boolean a2 in our example is then no longer possible.
Maximum number of executions of this instruction.
Formal proposal generated
C: a → ± i → b