university ulm relational reasoner 2