Modelling (Bio)Logical Sequences through Markov Logic Networks