Added onhand(id, card) predicate to help with later inference implementations