Ascent++
Search
Assertion list
side
(
aspect
of
rectangle
)
→ HasProperty
Results from
Ascent++
:
6
side
→
HasProperty
→
equal
0.84
side
→
HasProperty
→
parallel
0.59
side
→
HasProperty
→
perpendicular
0.33
side
→
HasProperty
→
divisible
0.25
side
→
HasProperty
→
odd
0.25
side
→
HasProperty
→
proportional
0.25