extended 'knowledge representation' section - patterns, variables, bindings,
  consistency, STRIPS rules