Assertion list
functional specification (subgroup of specification ) → CapableOf
Results from Ascent++: 2
functional specification → CapableOf → outline all of the requirements 0.68
functional specification → CapableOf → show functional block diagrams 0.25