Let S be a system. The functional requirement architecture diagram of S is then a hierarchical exhaustive representation of all functional requirements of S, a functional requirement R1 being under another functional requirement R2 in this hierarchy if and only if one can logically deduce R1 from R23. In this last situation, one says then more precisely that R2 refines into R1, which explains why one speaks of a functional requirement refinement hierarchy...