with Text_IO; use Text_IO; procedure Condition is US: String (1..1); UI: Integer; task Wait is entry Ok; end Wait; task body Wait is begin Get_Line (US, UI); accept Ok; end Wait; begin select Wait.Ok; Put_Line ("True"); or delay Duration (1.0); Put_Line ("False"); end select; end Condition;