!7 p-exp { L transformers = l( f ai_tripelize, f ai_triple_simplify); }