Пропонуються парамодуляційні поширення лінійного заперечення та метода елімінації моделей, що урахувають "напрямок" застосування парамодуляції у вигляді окремих правил. Наведені результати про те, що для одержання повних (у загальному розумінні) парамодуляційних поширень можуть бути використовані тільки три з чотирьох можливих правил парамодуляційного типу.