Default semantics #132
Description
Problem
When you first get acquainted with the library, it is difficult to get that you need to write your own CapabilitySemantics.
I propose to make some default and general semantic as a reference. Between, on my mind, verification semantics should be standardized.