interface for GOAL specific KR languages