This is definitely an interesting declarative language. Looking forward to more such neurosymbolic approaches.
