https://www.onlinedegreeforcriminaljustice.com/2019/08/predicates-and-quantifiers-exercises.html