The Grammar of PENG ASP Explained