Ascent++
Search
Assertion list
face
(
aspect
of
cube
)
→ HasProperty
Results from
Ascent++
:
7
face
→
HasProperty
→
square
0.80
face
→
HasProperty
→
identical
0.61
face
→
HasProperty
→
flat
0.47
face
→
HasProperty
→
visible
0.39
face
→
HasProperty
→
opposite
0.35
face
→
HasProperty
→
parallel
0.35
face
→
HasProperty
→
adjacent
0.25