Annotation Type SemiStrict
Annotation applied to a user-defined function that indicates that
 the function always returns null if one or more of its arguments
 are null but also may return null at other times.
 
Compare with Strict:
 
- A strict function returns null if and only if it has a null argument
- A semi-strict function returns null if it has a null argument