Extending Alc Aboxes with Probabilities