Create Part2Model.als

This model needs 2 assertions and 2 predicates and 2 functions
Josh - working on assertions