Ascent++ | checked against the inventory

Assertion list for term "checked against the inventory".

Results from Ascent++: 2

property (`aspect` of landlord) → ReceivesAction → checked against the inventory	0.29
property (`aspect` of tenant) → ReceivesAction → checked against the inventory	0.25