Assertion list for term "consist of 4 salons".

Results from Ascent++: 1
circuit CapableOfconsist of 4 salons 0.25