Make axioms subsumable and replace name ForwardSubsumption by FWS