A Design and Implementation of the Extended Andorra Model