Updated documentation and add argument validation assertion for SemPred