Example: ``A woman walks''

Here you can see the example from above with fully expanded determiner.

Make sure that the -expression corresponding to this graph is reducable to a normal FO formula.