[ WordInProperty wd obj prop k l m;
    k = obj.∝ l = (obj.#prop)/WORDSIZE-1;
    for (m=0 : m<=l : m++)
        if (wd == k-->m) rtrue;
    rfalse;
];