RelEx2Logic Rules

From OpenCog