Assertion list
devising (primary) → HasProperty
Results from Ascent++: 1
devising → HasProperty → hard 0.25