NEW_GROUPS
plural( GROUPS, group(1) ) of
plural( ITEMS_PER_GROUP, item(1) ) each results in
GROUPS \times ITEMS_PER_GROUP = ITEMS_IN_GROUPS
plural( item ).
plural( ITEMS_IN_GROUPS, item(1) ) plus ITEMS_LEFT left over equals TOTAL_ITEMS total plural( item(1) ).
plural( TOTAL_ITEMS, item(1) )
divided into groups of NEW_ITEMS_PER_GROUP is
TOTAL_ITEMS \div NEW_ITEMS_PER_GROUP = NEW_GROUPS
plural( group(1) ).
ITEM_1_COST
Of the plural( TOTAL_SPENT, "dollar" ), he(1) spent
plural( ITEM_2_COST, "dollar" ) on a storeItem(1, 2), so he(1) must have spent
a total of TOTAL_SPENT - ITEM_2_COST = TOTAL_SPENT_ON_1
dollars on plural( storeItem(1, 1) ).
He(1) spent plural( TOTAL_SPENT_ON_1, "dollar" ) on
plural( ITEM_1_COUNT, storeItem(1, 1) ),
so he(1) must have spent
TOTAL_SPENT_ON_1 \div ITEM_1_COUNT = ITEM_1_COST
dollars on each storeItem(1, 1).
NEW_ITEMS
plural( ITEMS, item(1) ) \times
plural( GROUPS, group(1) ) =
plural( TOTAL_ITEMS, item(1) ).
If we divide the plural( TOTAL_ITEMS, item(1) ) into
plural( NEW_GROUPS, group(1) ), then we get
TOTAL_ITEMS \div NEW_GROUPS = NEW_ITEMS
plural( item(1) ) per group(1).