A.6.P:5.4 - Method, Work, system-role objects, and agency

The sentence the inspection method checks Pump_P may remain ordinary metonymy under F.19. For a separate claim about actual inspection history, recover the following exact case. The source basis says that admitted System_S has the A.13 core for inspection: it is independently classified under local kind InspectorSystemRole and holds obtaining InspectionAssignment-17 of declared MaintenanceInspectionAssignment species for the stated scope and window. A.15.1 then independently admits InspectionWork_W and its enactsMethod(InspectionWork_W, InspectionMethod_M) relation; the examination relation separately connects the Work to Pump_P. Because this worked account expressly states under which assignment the inspection was performed, F.6 then establishes performedUnderAssignment(InspectionWork_W, InspectionAssignment-17) and checks the already recovered performer against the holder. If that F.6 relation were unsupported, the Work would remain and only its assignment-bound attribution would be unresolved. Taxonomy episteme and reference scheme may interpret the assertion but are not assignment participants. System_S performs InspectionWork_W.