Question 2 - Given a picture, find the right code(s?)

Fruit!

code:

abstract sig Fruit {}

lone sig Apple extends Fruit {}

sig Orange extends Fruit {}

one sig Pear extends Fruit {}

pred show() {
	#Fruit > 0
}

which run command(s) produce the following Image:

	[Fruit_Q.jpg]

1 - run show for 4 but exactly 3 Orange
2 - run show for 2 but exactly 0 Apple
3 - run show for 3 but 2 Orange
4 - run show for 2 but exactly 2 Orange
5 - none of the above

Solution: 3 & 4
Explanation: Both allow up 2 or more objects of each signature

Error:
1 - Models are constrained to have 3 Oranges (we only want 2)
2 - Models are constrained against having apples (we need at least 1)
5 - Are you sure? Check again carefully!