Class InverseFluent<A extends InverseFluent<A>>