Assertion list for term "desired property".

Results from Ascent++: 1
circuit HasAdesired property 0.16