Address review feedback

Author: PIG208

peps/pep-0728.rst

@@ -508,10 +508,10 @@ checks::
 
     details: MovieWithYear = {"name": "Kill Bill Vol. 1", "year": 2003}
     movie: Movie = details  # Not OK. 'year' is not required in 'Movie',
-                            # so it shouldn't be required in 'MovieWithYear' either
+                            # but it is required in 'MovieWithYear'
 
-Given that ``'year'`` is not-required and non-read-only in A (``Movie``),
-it shouldn’t be required in B (``MovieWithYear``) either, according to this rule:
+where ``MovieWithYear`` (B) is not assignable to ``Movie`` (A)
+according to this rule:
 
     * For each non-required key in ``A``, if the item is not read-only in ``A``,
       the corresponding key is not required in ``B``.
@@ -614,7 +614,7 @@ apply to extra items, following the same rationale from the `typing spec
     generate false positive errors for idiomatic code.
 
 Some operations, including indexed accesses and assignments with arbitrary str keys,
-can be allowed due to the TypedDict being :term:`typing:assignable` to
+may be allowed due to the TypedDict being :term:`typing:assignable` to
 ``Mapping[str, VT]`` or ``dict[str, VT]``. The two following sections will expand
 on that.
 
@@ -644,15 +644,15 @@ For example::
     int_mapping: Mapping[str, int] = extra_int  # Not OK. 'int | str' is not assignable with 'int'
     int_str_mapping: Mapping[str, int | str] = extra_int  # OK
 
-Type checkers should be able to infer the precise signatures of ``values()``,
-``items()``, etc. on such TypedDict types::
+Type checkers should infer the precise signatures of ``values()`` and ``items()``
+on such TypedDict types::
 
     def foo(movie: MovieExtraInt) -> None:
         reveal_type(movie.items())  # Revealed type is 'dict_items[str, str | int]'
         reveal_type(movie.values())  # Revealed type is 'dict_values[str, str | int]'
 
-By extension of this assignability rule, indexed accesses with arbitrary str keys
-can be allowed as long as ``extra_items`` or ``closed=True`` is specified.
+By extension of this assignability rule, type chekcers may allow indexed accesses
+with arbitrary str keys when ``extra_items`` or ``closed=True`` is specified.
 For example::
 
     def bar(movie: MovieExtraInt, key: str) -> None:
@@ -662,7 +662,7 @@ For example::
 
 Defining the type narrowing behavior for TypedDict is out-of-scope for this PEP.
 This leaves flexibility for a type checker to be more/less restrictive about
-indexed accesses with arbitrary str keys. For example, a type checker might opt
+indexed accesses with arbitrary str keys. For example, a type checker may opt
 for more restriction by requiring an explicit ``'x' in d`` check.
 
 Interaction with dict[str, VT]