public Sentence convert(Sentence s) { if (s.att().contains(Attribute.LEMMA_KEY) || s.att().contains(Attribute.SMT_LEMMA_KEY) || s.att().contains(Attribute.PATTERN_FOLDING_KEY)) { return s; } else if (s instanceof Rule) { return convert((Rule) s); } else if (s instanceof Context) { return convert((Context) s); } else { return s; } }