Extracted fact as own model