* [RDFS_READ,DOC,FIX] Documented and fixed two loops in RDFS deduction.
* [MATH_EXT,NEW] Added betwixt/3, which is like between/3 but allows argument `inf` for the maximum parameter.
* [RDF_CONTAINER,EXT] rdf_container_membership_property/1 now also works for the generative case.
* [RDFS_READ,SC] container membership properties now reuse RDF_CONTAINER more.
* [RDFS_READ,FIX] The axioms stating that container membership properties are individuals of RDF property were not included.
* [RDFS_READ,FIX] The axiom stating that RDF nil is an individual of RDF list was missing.
* [RDFS_READ,SC] THe clauses for RDFS domain and range reasoning are now faster for some cases.