6. Я не уверен в правильном самотипировании по ПЙ потому, что препосылки слишком нечетки для меня. А значит и вывод нечеток.
6 - Это подход 4Л. гдето на форуме описывали. 1Л сама заполнит дыры в предпосылках. 4Л же попросит заполнять их других.
А это можно интерпретировать и так: 1Л2Ф сама построит все недостающие куски модели, 1Л2В запряжёт других это сделать