implement relation checker spec