Given a premise, retrieve a hypothesis that is entailed by the premise.Although these are now completed, further renovation and work on an extension are underway.
They are finished at this point.
They are not completed yet.