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