Thanks for adding this example from Real World Reasoning! As you have noted, there will need to be discussion on how to represent some of these constructs.