Update Part2Model.als

Here we have the facts of a Board and the Assertions of a Board