Relation pm#item (list,?)
  supertype:  member
  inverse:  item (pm)
  subtype:  item (list,?)  for item(L,I) read: I is an item in L; either first(L,I) or item(R,I) where rest(L,R)