| # List (*,type,ContainerMembershipProperty) | |
| # + (*,subPropertyOf member) | |
| #################################### | |
| <var:x> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#ContainerMembershipProperty> . | |
| <var:y> <http://www.w3.org/2000/01/rdf-schema#subPropertyOf> <http://www.w3.org/2000/01/rdf-schema#member> . |