Since facts are stored as clauses, possibly with "local variables", entailment is restricted over the variables of their heads.
Од чињенице се чувају као клаузуле, евентуално са "локалним променљивима", entailment је ограничен због варијабли њихових глава.