Example: ``A woman walks''

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

No Comment

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. This is the first part of Exercise 6.2.