⊢⇌⦷"ball" "football" # 1