Reasoning with Boolean Aboxes List of Figures