According to Collins and Quillian's semantic network model, it should take longest to verify which statementbelow?a.Pigs are pigs.c.A pig is a pig.b.