Якій моделі представлення знань відповідає твердження: «Якщо геометрична фігура має чотири прямі кути, а діагоналі чотирикутника перетинаються та діляться точкою перетину навпіл, то цей паралелограм є прямокутником»?