Grammar of ReALIS and the implementation of its dynamic interpretation