Ascent++
Search
Assertion list
output
(
aspect
of
lamp
)
→ CapableOf
Results from
Ascent++
:
1
output
→
CapableOf
→
become true
0.25