(rule third_composition:1