2.9 Inference (AS 91264)