Links for syllogio-identifyPropositions