Critique

   The topic is relevant for the course. 5
   The writing is clear and the English is good. 5
   The page is written at an appropriate level for CPSC 522 students (where the students have diverse backgrounds). 4.5
   The formalism (definitions, mathematics) was well chosen to make the page easier to understand. 5
   The abstract is a concise and clear summary. 5
   There were appropriate (original) examples that helped make the topic clear. 5
   There was appropriate use of (pseudo-) code. N/A
   It had a good coverage of representations, semantics, inference and learning (as appropriate for the topic). 5
   It is correct. 5
   It was neither too short nor too long for the topic. 5
   It was an appropriate unit for a page (it shouldn't be split into different topics or merged with another page). 5
   It links to appropriate other pages in the wiki. 5
   The references and links to external pages are well chosen. 5
   I would recommend this page to someone who wanted to find out about the topic. 4
   This page should be highlighted as an exemplary page for others to emulate. 5

If I was grading it out of 20, I would give it: 19.5 Comments: This page is great. Only one concern is that some of the concepts used may not fit with 522 students' background. For example one may not familiar with topology. Another tiny issue is that the sentence "Considering the expressivenes of higher order logic relative to first order, the induced question, then, is “Why not use higher order logic all the time?” should be under subsection "Limitations of Higher Order Logic".