BUR #45782 has been approved by @nonamethanks.
create implication f1_(movie) -> formula_one
F1 The Movie is an official piece of Formula 1 media, as it was made in collaboration with Formula 1 group and the FIA (the governing body of the sport)
Updated by Otreku