sample for subsumption librarly