Logic values (if not function) copied into facts