an ontological interpreter