added clause_handling method; need to implement