nunsoidji lujvo

d1 desires the event of s1 being a soldier of army s2, for purpose d3

Example 12.60 (cll 1.1).