Ascent++
Search
boat ramp
subgroup of
ramp
,
3
assertions
HasProperty
1
open
0.84
ReceivesAction
2
flooded
0.43
closed
0.38