Assertion list
lubrication (primary) → HasProperty
Results from Ascent++: 4
lubrication → HasProperty → necessary 0.52
lubrication → HasProperty → clean 0.34
lubrication → HasProperty → liquid 0.30
lubrication → HasProperty → normal 0.30