semidependence
not defined yet