Deriving a conclusion from relational premises