3

13.2 A Representation based on FOPC