A.6.7 SSA Query

See Appendix A.9.4 for details.