$forall bc <- parents
• #{snd bc} >
• #{title}