.
Function composition.
Conjunction: p1 .&&. p2 passes if both p1 and p2 pass.
Nondeterministic choice: p1 .&. p2 picks randomly one of p1 and p2 to test. If you test the property 100 times it makes 100 random choices.
Sequential function composition. The result of the second function is evaluated using the given strategy, and then given to the first function.
Parallel function composition. The result of the second function is evaluated using the given strategy, in parallel with the application of the first function.
Disjunction: p1 .||. p2 passes unless p1 and p2 simultaneously fail.
Alias to addExtension, for people who like that sort of thing.