Automated Logic ZS2PL-ALC