Ascent++
Search
Assertion list
covered bridge
(
primary
)
→ CapableOf
Results from
Ascent++
:
3
covered bridge
→
CapableOf
→
create complete enclosure
0.42
covered bridge
→
CapableOf
→
cross the creek
0.29
covered bridge
→
CapableOf
→
cross multiple lawns
0.23