Algorithm 11 (A11) - Structural Logic Framework

@Алексей Гормен