Translating D4 Sample Clauses

Translating D4. 1 into a view-based description