Is there an Infant school missing here?

There's an FHRS ID assosciated with "Little Green Junior School" 's postcode postcode called "Little Green JMI School" where JMI means "Junior Mixed Infant". 

https://ratings.food.gov.uk/business/en-GB/1133837