Assertion: instruction | /r/HasProperty | implemented with subroutine
Facets:
Source sentences:
text: When call-by-name parameters are available a statement like behaviour can be implemented with subroutines (see Lisp).