by 
Establishes a precise anteriority relation between three items a, b, c, all three using a series D containing an order relation. The series D allows to indicate two constant distances d 1 and d 2 , which appear between a and b for d 1 , b and c for d 2 .
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 teenager in the black yacht is a year older than Chloe but a year younger than the person training for 40 minutes.
The red lines represent the relationships between the boxes across the grids, represented by the Booleans. The order relative to the Age series is as follows: Chloe < black yacht< 40 min . The jump distance between two items is one box, both between Chloe and black and between black and 40 min , which represents two 1-year intervals in the Age series .
False signs
Those present in the Boolean rows indicate that these positions are not available. Indeed, Chloe cannot be 16 or 17 years old, the driver of the black yacht cannot be 13 or 17 years old, and the person who drives for 40 minutes cannot be 13 or 14 years old.
As for the other false boxes, they also follow from the statement: Chloe does not drive a black yacht, does not spend 40 minutes on her yacht, and the driver of the black yacht does not train for 40 minutes.
Designer
Randomly chooses a triplet: three rows using the same series. Establishes a distance d1 between items a and b, and a distance d2 between b and c, in the rows
Jumps are the constant distances 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 propositions. The first jump occurs between items a and b , the second between items b and c . A value of 0 allows the designer to choose the jump randomly. The value of jump #1 is between 1 and n -3, n being the size of the row (5 boxes most often). The value of jump #2 is between 1 and n-jump1-2 . If you put a 0 in one of the two jumps, the other will be set to 0 automatically.
Isolated: If the instruction operates in isolated mode, the designer does not select rows that already contain signs, including Booleans.
Maximum number of executions of this instruction.
Formal proposal generated
D: a → ± i → b -> ± j → c
Age: Chloé → + 1 → Black → + 1 → 40mn
D: shared series header containing an ordering relationship.
a,b,c: items using D
± i, ± j: value of the intervals, in units of D. If D is an increasing series, i and j are positive. If D is a decreasing series, i and j are negative.
Writing
We like to start with item b; this allows us to construct sentences that are a little difficult to understand:
b is i ahead of a, but j behind c.
The teenager in the black yacht is one year older than Chloe but one year younger than the person training for 40 minutes.