(defrelation fred
    (num age)
  (one shoes left right))