What are you predicating by the logic: ۷x: €y: loyalto(x, y).
(a) Everyone is loyal to someone
(b) Everyone is loyal to all
(c) Everyone is not loyal to someone
(d) Everyone is loyal
This question was posed to me in an online interview.
This interesting question is from Partial Order Planning topic in division Planning and Acting in the Real World of Artificial Intelligence