Reasoning with Justifiable Exceptions in Contextual Hierarchies (Appendix)