module some-facts.

  kind person	type.
  
  type sue 	person.
  type ron 	person.

  type scientist person -> o.
  type spanish	person -> o.
  type american	person -> o.
  type logician	person -> o.

  % facts
  scientist sue. %1
  scientist ron. %2
  spanish sue.   %3
  american ron.  %4
  
  % rule
  logician X :- scientist X. %5