Angelic environment: demonstration. - Latifa Al-Abdulkarim; Katie Atkinson; Sam Atkinson; Trevor J. M. Bench-Capon (ICAIL, 2017)