Relational Reasoning inFormalConceptAnalysis