Sally4 Communication with Planetary System

'info.kwarc.sally4.comm:comm-planetary:0.0.3'

<dependency>
	<groupId>info.kwarc.sally4.comm</groupId>
	<artifactId>comm-planetary</artifactId>
	<version>0.0.3</version>
</dependency>

<dependency org="info.kwarc.sally4.comm" name="comm-planetary" rev="0.0.3"/>

"info.kwarc.sally4.comm", "comm-planetary", "0.0.3"