Assertion: sequence's function | /r/CapableOf | return the increamented_value - 1
Facets:
Source sentences:
text: -- a function lock the row,increament it, return the increamented_value - 1 then release the lock and return the value