Assertion: calling convention | /r/HasProperty | supplied by the architect
Facets:
Source sentences:
text: architectures are formally specified to use only one calling convention, supplied by the architect.