API Documentation for Clause Logic