procedural inference (StructuralRules)