Assertion: logical spreadsheet | /r/CapableOf | relax restriction
Facets:
Source sentences:
text: Logical Spreadsheets relax these restrictions by dispensing with the distinction between directly specified cells and computed cells and generalizing from functional definitions to logical constraints.