Ascent++
Search
Assertion list
cycle
(
aspect
of
graph
)
→ CapableOf
Results from
Ascent++
:
2
cycle
→
CapableOf
→
consist of two frames
0.25
cycle
→
CapableOf
→
end at same vertex
0.25