Interface to Science Logic