Here we want to mention a caveat: there are definitely other common sense Axioms that we are not able to address in the current implementation.
from the case studies presented, we can see that using the presented formal framework, our system is able to reason about manipulation action goals instead of just observing what is happening visually.