Added documentation for On and Extend
Implemented inputDomainSubsetOf